stdlib: Implement head() and tail() functions.

[goals.git] / stdlib / prelude.sh

diff --git a/stdlib/prelude.sh b/stdlib/prelude.sh
index 5b42f4e..254c380 100644 (file)
--- a/stdlib/prelude.sh
+++ b/stdlib/prelude.sh
@@ -24,5 +24,25 @@
 function quoted_string ()
 {
     # XXX This doesn't actually do quoting XXX
-    echo "\"$1\""
+    echo -n "\"$1\""
+}
+
+# For printing strings in different colours, use these functions.
+function start_red ()
+{
+    echo -ne "\x1b[1;31m"
+}
+
+function start_green ()
+{
+    echo -ne "\x1b[0;32m"
+}
+
+function end_colour ()
+{
+    echo -ne "\x1b[0m"
+}
+function end_color ()
+{
+    echo -ne "\x1b[0m"
 }