Added home directory prompt.

2019-08-02 20:07:59 +01:00 · 2019-08-02 20:07:59 +01:00 · 9c8365d1d0
parent cef99fadc0
commit 9c8365d1d0
1 changed files with 1 additions and 1 deletions
--- a/examples/technical_report/Isabelle_DOF-Manual/document/lstisadof-manual.sty
+++ b/examples/technical_report/Isabelle_DOF-Manual/document/lstisadof-manual.sty
@ -334,7 +334,7 @@
   % Defining 5-keywords
   ,keywordstyle=[4]{\color{Blue!80}\bfseries}%
   ,alsoletter={*,-,:,~,/}
-   ,morekeywords=[4]{achim@logicalhacking:~/Isabelle_DOF$}%
+   ,morekeywords=[4]{achim@logicalhacking:~/Isabelle_DOF$,achim@logicalhacking:~$}%
   % Defining 6-keywords
   ,keywordstyle=[5]{\itshape}%
  %