change the '$' character in the prompt to '#' to match the standard

toplevel.
2013-04-05 17:21:50 +01:00 · 2013-04-05 17:21:50 +01:00 · e8c1b5f8ca
parent a2d132e5e4
commit e8c1b5f8ca
1 changed files with 1 additions and 1 deletions
--- a/src/lib/uTop.ml
+++ b/src/lib/uTop.ml
@ -381,7 +381,7 @@ let make_prompt ui profile count size key_sequence (recording, macro_count, macr
            B_fg (rgb 0xe3 0xaa 0x73);
            S "utop";
            B_fg (color lgreen green);
-            S " $ ";
+            S " # ";
          ]
        in
        Array.append (