--- /dev/null
+#!bash Coloured prompts.
+# profile-required: ps1.bashrc
+
+case $(tput colors) in
+ 256)
+ PS2_COLOUR1="0;38;5;22"
+ PS2_COLOUR2="0;38;5;28"
+ PS2_COLOUR3="0;38;5;34"
+ PS2_COLOUR4="0;38;5;40"
+ ;;
+
+ 88)
+ PS2_COLOUR1="0;38;5;20"
+ PS2_COLOUR2="0;38;5;24"
+ PS2_COLOUR3="0;38;5;24"
+ PS2_COLOUR4="0;38;5;28"
+ ;;
+
+ *)
+ PS2_COLOUR1="0;32"
+ PS2_COLOUR2="0;32"
+ PS2_COLOUR3="1;32"
+ PS2_COLOUR4="1;32"
+ ;;
+esac
+
+function __ps2() {
+ PS2='\[\033[0m\]\[\033[$(__ps1_colour_escape 0 $PS2_COLOUR1)m\]>\[\033[$(__ps1_colour_escape 0 $PS2_COLOUR2)m\]>\[\033[$(__ps1_colour_escape 0 $PS2_COLOUR3)m\]>\[\033[$(__ps1_colour_escape 0 $PS2_COLOUR4)m\]> \[\033[0m\]'
+ return 0
+}
+
+__ps2
--- /dev/null
+#!bash Coloured prompts.
+# profile-required: ps1.bashrc
+
+case $(tput colors) in
+ 256)
+ PS4_COLOUR1="0;38;5;20"
+ PS4_COLOUR2="0;38;5;26"
+ ;;
+
+ 88)
+ PS4_COLOUR1="0;38;5;19"
+ PS4_COLOUR2="0;38;5;23"
+ ;;
+
+ *)
+ PS4_COLOUR1="0;36"
+ PS4_COLOUR2="1;36"
+ ;;
+esac
+
+function __ps4() {
+ PS4='\[\033[0m\]\[\033[$(__ps1_colour_escape 0 $PS4_COLOUR1)m\][\[\033[$(__ps1_colour_escape 0 $PS4_COLOUR2)m\]${0##*/}:$LINENO\[\033[$(__ps1_colour_escape 0 $PS4_COLOUR1)m\]] \[\033[0m\]'
+ return 0
+}
+
+__ps4