Also add a banner function which can be used by other code for the
same effect. Unfortunately we cannot reuse that function to display
the title.
# Fancy prompt colours (see
# https://wiki.archlinux.org/index.php/Color_Bash_Prompt)
# Fancy prompt colours (see
# https://wiki.archlinux.org/index.php/Color_Bash_Prompt)
-titlecol=$'\e[1;30;47m' ;# colour for the title
+titlecol=$'\e[1;37;41m' ;# colour for the title
promptcol=$'\e[0;32m' ;# colour for the prompt
commandcol=$'\e[1;31m' ;# colour for the typed command
outputcol=$'\e[0m' ;# colour for command output
promptcol=$'\e[0;32m' ;# colour for the prompt
commandcol=$'\e[1;31m' ;# colour for the typed command
outputcol=$'\e[0m' ;# colour for command output
# Load key bindings (if any).
bind -f $talkdir/bindings
# Load key bindings (if any).
bind -f $talkdir/bindings
-printf %s\\n "$titlecol$title$outputcol"
+# Same as the banner function, but we cannot reuse it.
+printf "%s %s %s\\n" $titlecol "$title" $outputcol
chmod -w $HISTFILE
/bin/bash --rcfile $talkdir/bashrc "$@"
}
chmod -w $HISTFILE
/bin/bash --rcfile $talkdir/bashrc "$@"
}
+
+banner ()
+{
+ printf "%s %s %s\\n" $'\e[1;37;41m' "$1" $'\e[0m'
+}