- # The $() has to be done to work around a bug in ksh that
- # isn't able to substitute with // inside the $HOME variable to have ~/
- # The control-character in the prompt is sadly neccessary for
- # color to be not disturbing for the command line editor.
+# The $() has to be done to work around a bug in ksh that
+# isn't able to substitute with // inside the $HOME variable to have ~/
+# The control-character in the prompt is sadly neccessary foR
+# color to be not disturbing for the command line editor.