diff options
| -rw-r--r-- | doc/development/shell_scripting_guide/index.md | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/development/shell_scripting_guide/index.md b/doc/development/shell_scripting_guide/index.md index 08c40974c79..4f1e7d4cf3c 100644 --- a/doc/development/shell_scripting_guide/index.md +++ b/doc/development/shell_scripting_guide/index.md @@ -38,8 +38,7 @@ that is: ## Shell language choice -1. When you need to reduce the dependencies list, use what's provided by the environment. -For example, for Docker images it's `sh` from `alpine` which is the base image for most of our tool images. +1. When you need to reduce the dependencies list, use what's provided by the environment.For example, for Docker images it's `sh` from `alpine` which is the base image for most of our tool images. 1. Everywhere else, use `bash` if possible. It's more powerful than `sh` but still a widespread shell. ## Code style and format |