Merge pull request #699 from bmalehorn/precompute

colors.theme.bash: pre-compute colors, startup 3x faster
pull/701/head
Nils Winkler 2016-04-10 12:53:01 +02:00
commit da229eaa08
1 changed files with 76 additions and 76 deletions

View File

@ -182,89 +182,89 @@ function echo_color {
} }
black="$(color reset black)" black="\[\e[0;30m\]"
red="$(color reset red)" red="\[\e[0;31m\]"
green="$(color reset green)" green="\[\e[0;32m\]"
yellow="$(color reset yellow)" yellow="\[\e[0;33m\]"
blue="$(color reset blue)" blue="\[\e[0;34m\]"
purple="$(color reset magenta)" purple="\[\e[0;35m\]"
cyan="$(color reset cyan)" cyan="\[\e[0;36m\]"
white="$(color reset white bold)" white="\[\e[0;37;1m\]"
orange="$(color reset red fg bright)" orange="\[\e[0;91m\]"
bold_black="$(color black bold)" bold_black="\[\e[30;1m\]"
bold_red="$(color red bold)" bold_red="\[\e[31;1m\]"
bold_green="$(color green bold)" bold_green="\[\e[32;1m\]"
bold_yellow="$(color yellow bold)" bold_yellow="\[\e[33;1m\]"
bold_blue="$(color blue bold)" bold_blue="\[\e[34;1m\]"
bold_purple="$(color magenta bold)" bold_purple="\[\e[35;1m\]"
bold_cyan="$(color cyan bold)" bold_cyan="\[\e[36;1m\]"
bold_white="$(color white bold)" bold_white="\[\e[37;1m\]"
bold_orange="$(color red fg bright bold)" bold_orange="\[\e[91;1m\]"
underline_black="$(color black underline)" underline_black="\[\e[30;4m\]"
underline_red="$(color red underline)" underline_red="\[\e[31;4m\]"
underline_green="$(color green underline)" underline_green="\[\e[32;4m\]"
underline_yellow="$(color yellow underline)" underline_yellow="\[\e[33;4m\]"
underline_blue="$(color blue underline)" underline_blue="\[\e[34;4m\]"
underline_purple="$(color magenta underline)" underline_purple="\[\e[35;4m\]"
underline_cyan="$(color cyan underline)" underline_cyan="\[\e[36;4m\]"
underline_white="$(color white underline)" underline_white="\[\e[37;4m\]"
underline_orange="$(color red fg bright underline)" underline_orange="\[\e[91;4m\]"
background_black="$(color black bg)" background_black="\[\e[40m\]"
background_red="$(color red bg)" background_red="\[\e[41m\]"
background_green="$(color green bg)" background_green="\[\e[42m\]"
background_yellow="$(color yellow bg)" background_yellow="\[\e[43m\]"
background_blue="$(color blue bg)" background_blue="\[\e[44m\]"
background_purple="$(color magenta bg)" background_purple="\[\e[45m\]"
background_cyan="$(color cyan bg)" background_cyan="\[\e[46m\]"
background_white="$(color white bg bold)" background_white="\[\e[47;1m\]"
background_orange="$(color red bg bright)" background_orange="\[\e[101m\]"
normal="$(color reset)" normal="\[\e[0m\]"
reset_color="$(__make_ansi '' 39)" reset_color="\[\e[39m\]"
# These colors are meant to be used with `echo -e` # These colors are meant to be used with `echo -e`
echo_black="$(echo_color reset black)" echo_black="\033[0;30m"
echo_red="$(echo_color reset red)" echo_red="\033[0;31m"
echo_green="$(echo_color reset green)" echo_green="\033[0;32m"
echo_yellow="$(echo_color reset yellow)" echo_yellow="\033[0;33m"
echo_blue="$(echo_color reset blue)" echo_blue="\033[0;34m"
echo_purple="$(echo_color reset magenta)" echo_purple="\033[0;35m"
echo_cyan="$(echo_color reset cyan)" echo_cyan="\033[0;36m"
echo_white="$(echo_color reset white bold)" echo_white="\033[0;37;1m"
echo_orange="$(echo_color reset red fg bright)" echo_orange="\033[0;91m"
echo_bold_black="$(echo_color black bold)" echo_bold_black="\033[30;1m"
echo_bold_red="$(echo_color red bold)" echo_bold_red="\033[31;1m"
echo_bold_green="$(echo_color green bold)" echo_bold_green="\033[32;1m"
echo_bold_yellow="$(echo_color yellow bold)" echo_bold_yellow="\033[33;1m"
echo_bold_blue="$(echo_color blue bold)" echo_bold_blue="\033[34;1m"
echo_bold_purple="$(echo_color magenta bold)" echo_bold_purple="\033[35;1m"
echo_bold_cyan="$(echo_color cyan bold)" echo_bold_cyan="\033[36;1m"
echo_bold_white="$(echo_color white bold)" echo_bold_white="\033[37;1m"
echo_bold_orange="$(echo_color red fg bright bold)" echo_bold_orange="\033[91;1m"
echo_underline_black="$(echo_color black underline)" echo_underline_black="\033[30;4m"
echo_underline_red="$(echo_color red underline)" echo_underline_red="\033[31;4m"
echo_underline_green="$(echo_color green underline)" echo_underline_green="\033[32;4m"
echo_underline_yellow="$(echo_color yellow underline)" echo_underline_yellow="\033[33;4m"
echo_underline_blue="$(echo_color blue underline)" echo_underline_blue="\033[34;4m"
echo_underline_purple="$(echo_color magenta underline)" echo_underline_purple="\033[35;4m"
echo_underline_cyan="$(echo_color cyan underline)" echo_underline_cyan="\033[36;4m"
echo_underline_white="$(echo_color white underline)" echo_underline_white="\033[37;4m"
echo_underline_orange="$(echo_color red fg bright underline)" echo_underline_orange="\033[91;4m"
echo_background_black="$(echo_color black bg)" echo_background_black="\033[40m"
echo_background_red="$(echo_color red bg)" echo_background_red="\033[41m"
echo_background_green="$(echo_color green bg)" echo_background_green="\033[42m"
echo_background_yellow="$(echo_color yellow bg)" echo_background_yellow="\033[43m"
echo_background_blue="$(echo_color blue bg)" echo_background_blue="\033[44m"
echo_background_purple="$(echo_color magenta bg)" echo_background_purple="\033[45m"
echo_background_cyan="$(echo_color cyan bg)" echo_background_cyan="\033[46m"
echo_background_white="$(echo_color white bg bold)" echo_background_white="\033[47;1m"
echo_background_orange="$(echo_color red bg bright)" echo_background_orange="\033[101m"
echo_normal="$(echo_color reset)" echo_normal="\033[0m"
echo_reset_color="$(__make_echo '' 39)" echo_reset_color="\033[39m"