77 |
\def\linux{Linux\xspace} |
\def\linux{Linux\xspace} |
78 |
\def\todo{\Begrip{TODO}\xspace} |
\def\todo{\Begrip{TODO}\xspace} |
79 |
\def\unix{Unix\xspace} |
\def\unix{Unix\xspace} |
80 |
\def\gl{{\sc gnu}/\linux\xspace} |
\def\gl{{\sc gnu}/\linux} |
81 |
\def\win{Windows} |
\def\win{Windows} |
82 |
\def\debian{Debian \gnu/\linux\xspace} |
\def\debian{Debian \gnu/\linux} |
83 |
\newenvironment{urlbox}{\begin{quote}}{\end{quote}} |
\newenvironment{urlbox}{\begin{quote}}{\end{quote}} |
84 |
\newcommand{\com}[1]{{\sf #1}\xspace} %shell commando's in tekst |
\newcommand{\com}[1]{{\sf #1}\xspace} %shell commando's in tekst |
85 |
\newcommand{\file}[1]{\emph{#1}\xspace} |
\newcommand{\file}[1]{\emph{#1}\xspace} |