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

Revert "Merge pull request #7735 from crgaurav/patch-1" 

This reverts commit 81ac3e8bdf, reversing
changes made to d79dc1d84f.
This commit is contained in:
Maria Bermudez 2018-11-29 14:58:17 -08:00
parent 81ac3e8bdf
commit 9114fc2a7b
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 `bash` shell, which is the default shell on > In such cases (such as the `dash` 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:
> >