github.com/buildtool/build-tools@v0.2.29-0.20240322150259-6a1d0a553c23/www/docs/commands/push.md (about)

     1  # push
     2  
     3  Performs a [Docker push](https://docs.docker.com/engine/reference/commandline/push/) of the image created by `build`.
     4  
     5  By following the conventions no additional flags are needed, but the following flags are available:
     6  
     7  |      Flag                       |                   Description                                       |
     8  | :------------------------------ | :------------------------------------------------------------------ |
     9  | `--file`,`-f` `<path to Dockerfile>`| Used to override the default `Dockerfile` location (which is `$PWD`)|
    10  
    11  ```sh
    12  $ push --file docker/Dockerfile.build
    13  ```