# Fancy prompt colours (see
# https://wiki.archlinux.org/index.php/Color_Bash_Prompt)
promptcol='\e[0;32m' ;# colour for the prompt
# Fancy prompt colours (see
# https://wiki.archlinux.org/index.php/Color_Bash_Prompt)
promptcol='\e[0;32m' ;# colour for the prompt