diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2018-09-27 12:06:59 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2018-09-27 12:06:59 +0200 |
| commit | 303172772f16de972cd8bc64c35ab3483bf4fc68 (patch) | |
| tree | 8e871dadabc83aebb1377a344a94d5fd64374581 /fichiers | |
| parent | f4f700e2deed3bbe6ab07a172d3659138e155fbc (diff) | |
| download | courses-303172772f16de972cd8bc64c35ab3483bf4fc68.tar.gz | |
links to external scripts were inactive
Diffstat (limited to 'fichiers')
| -rw-r--r-- | fichiers/03-grep-bash.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/fichiers/03-grep-bash.tex b/fichiers/03-grep-bash.tex index c4c5f05..f662632 100644 --- a/fichiers/03-grep-bash.tex +++ b/fichiers/03-grep-bash.tex | |||
| @@ -23,8 +23,8 @@ | |||
| 23 | } | 23 | } |
| 24 | 24 | ||
| 25 | \NewDocumentCommand{\inputfile}{O{} m m O{application/x-sh}}{ | 25 | \NewDocumentCommand{\inputfile}{O{} m m O{application/x-sh}}{ |
| 26 | \attachandlink{scripts/#3}[#4]{Fichier | 26 | \marginpar{\attachandlink{scripts/#3}[#4]{Fichier |
| 27 | attaché}{\marginpar{\textcolor{blue}{Ouvrir le fichier}}} | 27 | attaché}{\textcolor{blue}{Ouvrir le fichier}}} |
| 28 | \inputminted[#1]{#2}{scripts/#3} | 28 | \inputminted[#1]{#2}{scripts/#3} |
| 29 | } | 29 | } |
| 30 | 30 | ||