From 930582d83dc179f7ded790121fa1388cb9ae3025 Mon Sep 17 00:00:00 2001 From: Victor Zagorodny Date: Tue, 23 Jul 2019 07:50:43 +0000 Subject: Apply suggestion to doc/development/shell_scripting_guide/index.md --- doc/development/shell_scripting_guide/index.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/development/shell_scripting_guide/index.md b/doc/development/shell_scripting_guide/index.md index 67577a77a32..a0acd50b496 100644 --- a/doc/development/shell_scripting_guide/index.md +++ b/doc/development/shell_scripting_guide/index.md @@ -41,8 +41,8 @@ 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. Everywhere else, use `bash` if possible. It's more powerful than `sh` but still a widespread shell. +- 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. +- Everywhere else, use `bash` if possible. It's more powerful than `sh` but still a widespread shell. ## Code style and format -- cgit v1.2.1