function quoted_string ()
{
# XXX This doesn't actually do quoting XXX
- echo "\"$1\""
+ echo -n "\"$1\""
+}
+
+# For printing strings in different colours.
+function print_red ()
+{
+ echo -e "\x1b[1;31m$@\x1b[0m"
+}
+
+function print_green ()
+{
+ echo -e "\x1b[0;32m$@\x1b[0m"
}