2 echo "#################### generic-console-tools.post ####################"
4 # customize bash prompt
5 cat >/etc/profile.d/bash_prompt_custom.sh <<'EOF'
9 # set a fancy prompt (overwrite the one in /etc/profile)
10 local default="\[\e[0m\]"
11 local usercol='\[\e[1;34m\]' # blue
12 local hostcol='\[\e[1;32m\]' # green
13 local pathcol='\[\e[1;33m\]' # yellow
14 local gitcol='\[\e[1;31m\]' # light red
18 if [ "`id -u`" -eq 0 ]; then
19 usercol='\[\e[1;31m\]'
23 PS1="${usercol}\u${default}@${hostcol}\h${default}:${pathcol}\w${default}${gitcol}${default}${_p} ${termcmd}"
29 [ "${1:0:1}" == "/" ] && { cd $1; } || { cd $(pwd -P)/$1; }
36 function get_manifest () {
37 rpm -qa --queryformat="%{name} %{Version} %{Release} %{VCS}\n" | sort