nicolas.meric
/
Isabelle_DOF
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Reworked prompt setup for bash environment.

This commit is contained in:
Achim D. Brucker 2019-08-03 16:03:22 +01:00
parent e1a16647ce
commit 4040767d1a
2 changed files with 21 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
examples/technical_report/Isabelle_DOF-Manual/01_Introduction.thy
View File

@ -90,7 +90,7 @@ text\<open>
\end{ltx} \end{ltx}
\<^item> a grey background for shell scripts and interactive shell sessions: \<^item> a grey background for shell scripts and interactive shell sessions:
\begin{bash} \begin{bash}
achim@logicalhacking:~/Isabelle_DOF$ ls ë\prompt{}ë ls
CHANGELOG.md CITATION examples install LICENSE README.md ROOTS src CHANGELOG.md CITATION examples install LICENSE README.md ROOTS src
\end{bash} \end{bash}
\<close> \<close>

22
examples/technical_report/Isabelle_DOF-Manual/document/lstisadof-manual.sty
View File

@ -2,6 +2,7 @@
\usepackage[many]{tcolorbox} \usepackage[many]{tcolorbox}
\tcbuselibrary{listings} \tcbuselibrary{listings}
\tcbuselibrary{skins} \tcbuselibrary{skins}
\usepackage{xstring}
\definecolor{OliveGreen} {cmyk}{0.64,0,0.95,0.40} \definecolor{OliveGreen} {cmyk}{0.64,0,0.95,0.40}
\definecolor{BrickRed} {cmyk}{0,0.89,0.94,0.28} \definecolor{BrickRed} {cmyk}{0,0.89,0.94,0.28}
@ -9,6 +10,8 @@
\definecolor{CornflowerBlue}{cmyk}{0.65,0.13,0,0} \definecolor{CornflowerBlue}{cmyk}{0.65,0.13,0,0}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% <antiquotations> %% <antiquotations>
%% Hack: re-defining tag types for supporting highlighting of antiquotations %% Hack: re-defining tag types for supporting highlighting of antiquotations
@ -319,7 +322,9 @@
%% <bash> %% <bash>
\providecolor{bash}{named}{black} \providecolor{bash}{named}{black}
\lstloadlanguages{bash} \lstloadlanguages{bash}
\lstdefinestyle{bash}{language=bash, \lstdefinestyle{bash}{%
language=bash
,escapechar=ë
,basicstyle=\ttfamily% ,basicstyle=\ttfamily%
,showspaces=false% ,showspaces=false%
,showlines=false% ,showlines=false%
@ -334,12 +339,25 @@
% Defining 5-keywords % Defining 5-keywords
,keywordstyle=[4]{\color{Blue!80}\bfseries}% ,keywordstyle=[4]{\color{Blue!80}\bfseries}%
,alsoletter={*,-,:,~,/} ,alsoletter={*,-,:,~,/}
,morekeywords=[4]{achim@logicalhacking:~/Isabelle_DOF$,achim@logicalhacking:~$}% ,morekeywords=[4]{}%
% Defining 6-keywords % Defining 6-keywords
,keywordstyle=[5]{\itshape}% ,keywordstyle=[5]{\itshape}%
% %
} }
\def\inlinebash{\lstinline[style=bash, breaklines=true,columns=fullflexible]} \def\inlinebash{\lstinline[style=bash, breaklines=true,columns=fullflexible]}
\newcommand\@isabsolutepath[3]{%
\StrLeft{#1}{1}[\firstchar]%
\IfStrEq{\firstchar}{/}{#2}{#3}%
}
\newcommand{\@homeprefix}[1]{%
\ifthenelse{\equal{#1}{}}{\textasciitilde}{\textasciitilde/}%
}
\newcommand{\prompt}[1]{%
\color{Blue!80}\textbf{\texttt{%
achim@logicalhacking:{\@isabsolutepath{#1}{#1}{\@homeprefix{#1}#1}}\$}}%
}
\newtcblisting{bash}[1][]{% \newtcblisting{bash}[1][]{%
listing only% listing only%
,boxrule=0pt ,boxrule=0pt