X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=stdlib%2Fprelude.sh;fp=stdlib%2Fprelude.sh;h=fcd1baca903482a7fcc52d346f198db2edf7a4bf;hb=f2758f9e55a2b4d4a30e362f2b7a7a51cd515c78;hp=254c3803592a7570e11a89d15005d151dbeb19ce;hpb=740baf408886c3acd525fd057802e973aa3c3a8c;p=goals.git diff --git a/stdlib/prelude.sh b/stdlib/prelude.sh index 254c380..fcd1bac 100644 --- a/stdlib/prelude.sh +++ b/stdlib/prelude.sh @@ -27,22 +27,13 @@ function quoted_string () echo -n "\"$1\"" } -# For printing strings in different colours, use these functions. -function start_red () +# For printing strings in different colours. +function print_red () { - echo -ne "\x1b[1;31m" + echo -e "\x1b[1;31m$@\x1b[0m" } -function start_green () +function print_green () { - echo -ne "\x1b[0;32m" -} - -function end_colour () -{ - echo -ne "\x1b[0m" -} -function end_color () -{ - echo -ne "\x1b[0m" + echo -e "\x1b[0;32m$@\x1b[0m" }