Skip to content

Use set -x to help investigate doc push errors#23111

Closed
kostmo wants to merge 1 commit into
pytorch:masterfrom
kostmo:docpush-setx
Closed

Use set -x to help investigate doc push errors#23111
kostmo wants to merge 1 commit into
pytorch:masterfrom
kostmo:docpush-setx

Conversation

@kostmo

@kostmo kostmo commented Jul 19, 2019

Copy link
Copy Markdown
Member

I couldn't find any verbosity options in the docker pull command docs, but
docker pull got a --quiet option in a recent version (not sure if we're using that version), and --quiet for docker push is forthcoming.

@kostmo
kostmo requested a review from ezyang July 19, 2019 21:37
@pytorchbot pytorchbot added the module: ci Related to continuous integration label Jul 19, 2019

@ssnl ssnl left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

why not :)

@facebook-github-bot facebook-github-bot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@kostmo is landing this pull request. If you are a Facebook employee, you can view this diff on Phabricator.

@facebook-github-bot

Copy link
Copy Markdown
Contributor

@kostmo merged this pull request in bb9119f.

laurentdupin pushed a commit to laurentdupin/pytorch that referenced this pull request Apr 24, 2026
Summary:
I couldn't find any verbosity options in the [`docker pull` command docs](https://docs.docker.com/engine/reference/commandline/pull/), but
`docker pull` [got a `--quiet` option](docker/cli#882) in a recent version (not sure if we're using that version), and `--quiet` for `docker push` [is forthcoming](docker/cli#1221).
Pull Request resolved: pytorch#23111

Differential Revision: D16402993

Pulled By: kostmo

fbshipit-source-id: 52f77b11b839d28f8cf1ecb58518ca69632d7fbe
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Merged module: ci Related to continuous integration

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants