echo: fix bad colour choice

white is not going to work well on a terminal with a white background,
obviously. We should keep the standard colour and just try applying the
bold.

or do we want to consider a non black/white colour? like blue...?

Gbp-Dch: Short
This commit is contained in:
Lyndon Brown 2020-03-07 08:50:52 +00:00 committed by Raphaël Hertzog
parent a6c4094cf0
commit 62b3efa686
2 changed files with 2 additions and 1 deletions

View File

@ -10,6 +10,7 @@
NO_COLOR="\033[0m"
BOLD="\033[1m"
UNDERSCORE="\033[4m"
BLINK="\033[5m"

View File

@ -46,7 +46,7 @@ Echo_message ()
STRING="${1}"
shift
local PREFIX="${WHITE}P${NO_COLOR}"
local PREFIX="${BOLD}P${NO_COLOR}"
if [ "${_COLOR}" = "false" ]; then
PREFIX="P"
fi