XorA
/
bash-it
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fixed issue #103 caused by "normal" colors not reseting bold/underline/... text attributes.

pull/104/head
Beren Minor 2012-02-14 09:11:17 +01:00
parent 879d54031d
commit 87d7d7ad34
1 changed files with 18 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
themes/colors.theme.bash
View File

@ -182,15 +182,15 @@ function echo_color {
} }
black="$(color black)" black="$(color reset black)"
red="$(color red)" red="$(color reset red)"
green="$(color green)" green="$(color reset green)"
yellow="$(color yellow)" yellow="$(color reset yellow)"
blue="$(color blue)" blue="$(color reset blue)"
purple="$(color magenta)" purple="$(color reset magenta)"
cyan="$(color cyan)" cyan="$(color reset cyan)"
white="$(color white bold)" white="$(color reset white bold)"
orange="$(color red fg bright)" orange="$(color reset red fg bright)"
bold_black="$(color black bold)" bold_black="$(color black bold)"
bold_red="$(color red bold)" bold_red="$(color red bold)"
@ -226,15 +226,15 @@ normal="$(color reset)"
reset_color="$(__make_ansi '' 39)" reset_color="$(__make_ansi '' 39)"
# These colors are meant to be used with `echo -e` # These colors are meant to be used with `echo -e`
echo_black="$(echo_color black)" echo_black="$(echo_color reset black)"
echo_red="$(echo_color red)" echo_red="$(echo_color reset red)"
echo_green="$(echo_color green)" echo_green="$(echo_color reset green)"
echo_yellow="$(echo_color yellow)" echo_yellow="$(echo_color reset yellow)"
echo_blue="$(echo_color blue)" echo_blue="$(echo_color reset blue)"
echo_purple="$(echo_color magenta)" echo_purple="$(echo_color reset magenta)"
echo_cyan="$(echo_color cyan)" echo_cyan="$(echo_color reset cyan)"
echo_white="$(echo_color white bold)" echo_white="$(echo_color reset white bold)"
echo_orange="$(echo_color red fg bright)" echo_orange="$(echo_color reset red fg bright)"
echo_bold_black="$(echo_color black bold)" echo_bold_black="$(echo_color black bold)"
echo_bold_red="$(echo_color red bold)" echo_bold_red="$(echo_color red bold)"