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

Merge pull request #7735 from crgaurav/patch-1 

change dash to bash.
This commit is contained in:
Maria Bermudez 2018-11-29 14:47:32 -08:00 committed by GitHub
parent d79dc1d84f f7e90e31d4
commit 81ac3e8bdf
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.
>
> In such cases (such as the `dash` 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
> choose a shell that does support the `pipefail` option. For example:
>