docker
/
docs
mirror of https://github.com/docker/docs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Update dockerfile_best-practices.md

This commit is contained in:
Gaurav Sharma 2018-11-21 22:10:08 +05:30 committed by GitHub
parent 862562f9e6
commit f7e90e31d4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
develop/develop-images/dockerfile_best-practices.md
View File

@ -463,7 +463,7 @@ RUN set -o pipefail && wget -O - https://some.site | wc -l > /number
``` ```
> Not all shells support the `-o pipefail` option. > Not all shells support the `-o pipefail` option.
> >
> In such cases (such as the `b ash` shell, which is the default shell on > In such cases (such as the `bash` shell, which is the default shell on
> Debian-based images), consider using the _exec_ form of `RUN` to explicitly > Debian-based images), consider using the _exec_ form of `RUN` to explicitly
> choose a shell that does support the `pipefail` option. For example: > choose a shell that does support the `pipefail` option. For example:
> >