aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2018-09-12 22:14:03 +0200
committerRobert Alessi <alessi@robertalessi.net>2018-09-12 22:14:03 +0200
commitf0cf5408a3d04143ab3c531e1ec0e0caf7f8e4d8 (patch)
treecd93558c89998d5e08d71688b5db40bba839f2b3
parent5bce8a1de8c75d7b618cf4177c454c4139934983 (diff)
downloadcourses-f0cf5408a3d04143ab3c531e1ec0e0caf7f8e4d8.tar.gz
still writing fichiers/01-ligne-de-commande.tex
-rw-r--r--fichiers/01-ligne-de-commande.tex204
1 files changed, 121 insertions, 83 deletions
diff --git a/fichiers/01-ligne-de-commande.tex b/fichiers/01-ligne-de-commande.tex
index d4a670f..94f7884 100644
--- a/fichiers/01-ligne-de-commande.tex
+++ b/fichiers/01-ligne-de-commande.tex
@@ -12,8 +12,11 @@
12 breaklines, 12 breaklines,
13 breaksymbolright=\small\carriagereturn} 13 breaksymbolright=\small\carriagereturn}
14\setmintedinline{bgcolor=Lavender} 14\setmintedinline{bgcolor=Lavender}
15\usepackage{soul}
15\begin{document} 16\begin{document}
16\maketitle 17\maketitle
18\renewcommand{\contentsname}{Sommaire}
19\tableofcontents
17 20
18\chapter{Introduction} 21\chapter{Introduction}
19\label{cha:introduction} 22\label{cha:introduction}
@@ -48,10 +51,10 @@ Pour réaliser les mêmes opérations à la ligne de commande, il aurait
48fallu saisir les lignes suivantes: 51fallu saisir les lignes suivantes:
49\begin{enumerate} 52\begin{enumerate}
50\item création du dossier \emph{travail}:\\ 53\item création du dossier \emph{travail}:\\
51 \mintinline{bash}{mkdir travail} 54 \mintinline{text}{mkdir travail}
52\item déplacement du fichier \emph{exemple.pdf} dans le dossier 55\item déplacement du fichier \emph{exemple.pdf} dans le dossier
53 travail: \\ 56 travail: \\
54\mintinline{bash}{mv exemple.pdf travail} 57\mintinline{text}{mv exemple.pdf travail}
55\end{enumerate} 58\end{enumerate}
56 59
57\paragraph{Commentaire} 60\paragraph{Commentaire}
@@ -61,21 +64,21 @@ l'aide de la souris. Reprenons à présent les deux dernières lignes de
61commande pour mieux les comprendre: 64commande pour mieux les comprendre:
62\label{sec:commentaire} 65\label{sec:commentaire}
63\begin{enumerate} 66\begin{enumerate}
64\item dans \og\mintinline{bash}{mkdir travail}\fg, 67\item dans \og\mintinline{text}{mkdir travail}\fg,
65 \mintinline{bash}{mkdir} est le nom d'un programme fait pour créer 68 \mintinline{text}{mkdir} est le nom d'un programme fait pour créer
66 des répertoires; \mintinline{bash}{mkdir} est en effet pour 69 des répertoires; \mintinline{text}{mkdir} est en effet pour
67 l'anglais \emph{make directory}. Quant à \emph{travail}, c'est tout 70 l'anglais \emph{make directory}. Quant à \emph{travail}, c'est tout
68 simplement le nom du répertoire qu'on veut faire créer par le 71 simplement le nom du répertoire qu'on veut faire créer par le
69 programme \mintinline{bash}{mkdir}. La terminologie est la suivante: 72 programme \mintinline{text}{mkdir}. La terminologie est la suivante:
70 \mintinline{bash}{mkdir} est le nom du programme, et 73 \mintinline{text}{mkdir} est le nom du programme, et
71 \mintinline{bash}{travail} est \emph{l'argument} que l'on passe à 74 \mintinline{text}{travail} est \emph{l'argument} que l'on passe à
72 \mintinline{bash}{mkdir}. Remarquez que l'on doit séparer l'argument 75 \mintinline{text}{mkdir}. Remarquez que l'on doit séparer l'argument
73 du nom du programme par un espace. Pour terminer, on appuie sur la 76 du nom du programme par un espace. Pour terminer, on appuie sur la
74 touche \emph{Entrée} pour commander l'exécution du programme. 77 touche \emph{Entrée} pour commander l'exécution du programme.
75\item dans \og\mintinline{bash}{mv exemple.pdf travail}\fg, le nom du 78\item dans \og\mintinline{text}{mv exemple.pdf travail}\fg, le nom du
76 programme est \mintinline{bash}{mv}, pour l'anglais \emph{move}; sa 79 programme est \mintinline{text}{mv}, pour l'anglais \emph{move}; sa
77 fonction est de déplacer des fichiers ou des répertoires. Comme son 80 fonction est de déplacer des fichiers ou des répertoires. Comme son
78 comportement, par rapport au programme \mintinline{bash}{mkdir}, est 81 comportement, par rapport au programme \mintinline{text}{mkdir}, est
79 différent, il accepte non pas un, mais deux arguments, chacun séparé 82 différent, il accepte non pas un, mais deux arguments, chacun séparé
80 par des espaces. Observez de nouveau cette ligne de commande: 83 par des espaces. Observez de nouveau cette ligne de commande:
81 tandis que le premier argument est le nom du fichier que l'on 84 tandis que le premier argument est le nom du fichier que l'on
@@ -105,16 +108,16 @@ fait à l'aide de la souris. En voici les principales raisons:
105 des commandes auxquelles l'interface graphique ne permet pas 108 des commandes auxquelles l'interface graphique ne permet pas
106 d'accéder.}; 109 d'accéder.};
107\item les lignes de commande peuvent être chaînées. Ainsi, par la 110\item les lignes de commande peuvent être chaînées. Ainsi, par la
108 simple ligne\\ \mintinline{bash}{mkdir travail ; mv exemple.pdf 111 simple ligne\\ \mintinline{text}{mkdir travail ; mv exemple.pdf
109 travail} on peut réaliser en une seule fois toutes les opérations 112 travail} on peut réaliser en une seule fois toutes les opérations
110 décrites pré\-cé\-dem\-ment. Il suffit, comme on le voit ici, de 113 décrites pré\-cé\-dem\-ment. Il suffit, comme on le voit ici, de
111 séparer les commandes par un point-virgule \mintinline{bash}{;}; 114 séparer les commandes par un point-virgule \mintinline{text}{;};
112\item les lignes de commande acceptent des caractères appelés 115\item les lignes de commande acceptent des caractères appelés
113 \emph{jokers} à l'aide desquels on peut déclencher des opérations 116 \emph{jokers} à l'aide desquels on peut déclencher des opérations
114 complexes, portant sur un très grand nombre de fichiers. Par 117 complexes, portant sur un très grand nombre de fichiers. Par
115 exemple, le caractère \mintinline{bash}{*} peut se substituer à 118 exemple, le caractère \mintinline{text}{*} peut se substituer à
116 n'importe quelle chaîne de caractères. Ainsi, pour reprendre ce qui 119 n'importe quelle chaîne de caractères. Ainsi, pour reprendre ce qui
117 précède, la commande\\ \mintinline{bash}{mv *.pdf travail} aura pour 120 précède, la commande\\ \mintinline{text}{mv *.pdf travail} aura pour
118 effet de déplacer automatiquement tous les fichiers au format 121 effet de déplacer automatiquement tous les fichiers au format
119 \verb|PDF| dans le répertoire \emph{travail}. 122 \verb|PDF| dans le répertoire \emph{travail}.
120\end{itemize} 123\end{itemize}
@@ -157,24 +160,24 @@ répertoire personnel, appelé le \emph{home directory}. Le nom de votre
157répertoire personnel est le même que celui de l'identifiant sous 160répertoire personnel est le même que celui de l'identifiant sous
158lequel vous vous êtes connecté. Par ailleurs, tous les répertoires des 161lequel vous vous êtes connecté. Par ailleurs, tous les répertoires des
159différents utilisateurs sont situés à la racine du disque dur dans un 162différents utilisateurs sont situés à la racine du disque dur dans un
160répertoire fondamental appelé \mintinline{bash}{home}. 163répertoire fondamental appelé \mintinline{text}{home}.
161 164
162Supposons que votre identifiant soit \mintinline{bash}{jacques}; votre 165Supposons que votre identifiant soit \mintinline{text}{jacques}; votre
163répertoire personnel sera donc: 166répertoire personnel sera donc:
164\begin{minted}{bash} 167\begin{minted}{text}
165/home/jacques 168/home/jacques
166\end{minted} 169\end{minted}
167Obervez attentivement cette ligne. Vous remarquez que les noms des 170Obervez attentivement cette ligne. Vous remarquez que les noms des
168répertoires sont séparés par le caractère \mintinline{bash}{/}. Cela 171répertoires sont séparés par le caractère \mintinline{text}{/}. Cela
169veut dire que le signe \mintinline{bash}{/} est utilisé pour indiquer 172veut dire que le signe \mintinline{text}{/} est utilisé pour indiquer
170que l'on passe d'un répertoire donné à l'un de ses 173que l'on passe d'un répertoire donné à l'un de ses
171sous-répertoires. Dans notre exemple, le répertoire 174sous-répertoires. Dans notre exemple, le répertoire
172\mintinline{bash}{jacques} est donc inclus dans le répertoire 175\mintinline{text}{jacques} est donc inclus dans le répertoire
173\mintinline{bash}{home}. 176\mintinline{text}{home}.
174 177
175Remarquez encore le \mintinline{bash}{/} qui est placé \emph{devant} 178Remarquez encore le \mintinline{text}{/} qui est placé \emph{devant}
176\mintinline{bash}{home}: comme il n'est lui-même précédé de rien, il 179\mintinline{text}{home}: comme il n'est lui-même précédé de rien, il
177indique que le répertoire \mintinline{bash}{home} est placé \emph{à la 180indique que le répertoire \mintinline{text}{home} est placé \emph{à la
178 racine du disque dur}. 181 racine du disque dur}.
179 182
180\paragraph{Definition: chemins absolus, chemins relatifs} 183\paragraph{Definition: chemins absolus, chemins relatifs}
@@ -182,18 +185,18 @@ indique que le répertoire \mintinline{bash}{home} est placé \emph{à la
182Un chemin d'accès est dit \emph{absolu} quand il est donné à partir de 185Un chemin d'accès est dit \emph{absolu} quand il est donné à partir de
183la racine du disque dur. Il est \emph{relatif} quand il est donné à 186la racine du disque dur. Il est \emph{relatif} quand il est donné à
184partir de tout autre endroit du disque dur. Soit par exemple le 187partir de tout autre endroit du disque dur. Soit par exemple le
185répertoire \mintinline{bash}{travail} créé par l'utilisateur 188répertoire \mintinline{text}{travail} créé par l'utilisateur
186\mintinline{bash}{jacques} dans son répertoire personnel. À partir de 189\mintinline{text}{jacques} dans son répertoire personnel. À partir de
187ce répertoire, le chemin d'accès absolu sera 190ce répertoire, le chemin d'accès absolu sera
188\begin{minted}{bash} 191\begin{minted}{text}
189/home/jacques/travail/ 192/home/jacques/travail/
190\end{minted} 193\end{minted}
191tandis que le chemin relatif sera 194tandis que le chemin relatif sera
192\begin{minted}{bash} 195\begin{minted}{text}
193travail/ 196travail/
194\end{minted} 197\end{minted}
195Corrolaire: tout chemin d'accès absolu commence nécessairement par le 198Corrolaire: tout chemin d'accès absolu commence nécessairement par le
196caractère \mintinline{bash}{/}; quand ce n'est pas le cas, le chemin 199caractère \mintinline{text}{/}; quand ce n'est pas le cas, le chemin
197d'accès est nécessairement relatif. 200d'accès est nécessairement relatif.
198 201
199\paragraph{Conventions} 202\paragraph{Conventions}
@@ -204,20 +207,20 @@ pour le moment:
204\begin{itemize} 207\begin{itemize}
205\item \emph{home directory}: depuis tout endroit du disque dur, tout 208\item \emph{home directory}: depuis tout endroit du disque dur, tout
206 utilisateur peut accéder à son répertoire personnel par le raccourci 209 utilisateur peut accéder à son répertoire personnel par le raccourci
207\begin{minted}{bash} 210\begin{minted}{text}
208~/ 211~/
209\end{minted} 212\end{minted}
210 Ainsi, pour l'utilisateur \mintinline{bash}{jacques}, 213 Ainsi, pour l'utilisateur \mintinline{text}{jacques},
211 \mintinline{bash}{~/travail} est l'équivalent de \\ 214 \mintinline{text}{~/travail} est l'équivalent de \\
212 \mintinline{bash}{/home/jacques/travail}. 215 \mintinline{text}{/home/jacques/travail}.
213\item répertoire parent: quel que soit le répetoire dans lequel on se 216\item répertoire parent: quel que soit le répetoire dans lequel on se
214 trouve, la séquence \mintinline{bash}{..} désigne le 217 trouve, la séquence \mintinline{text}{..} désigne le
215 \emph{répertoire parent}, c'est-à-dire le répertoire qui le 218 \emph{répertoire parent}, c'est-à-dire le répertoire qui le
216 contient, ou bien qui est situé au niveau supérieur dans 219 contient, ou bien qui est situé au niveau supérieur dans
217 l'arborescence du disque dur. Par exemple, à partir du répertoire 220 l'arborescence du disque dur. Par exemple, à partir du répertoire
218 \mintinline{bash}{/home/jacques/travail}, \mintinline{bash}{..} 221 \mintinline{text}{/home/jacques/travail}, \mintinline{text}{..}
219 désigne le répertoire \mintinline{bash}{/home/jacques}. 222 désigne le répertoire \mintinline{text}{/home/jacques}.
220\item répertoire courant: Quant au signe \og\mintinline{bash}{.}\fg, 223\item répertoire courant: Quant au signe \og\mintinline{text}{.}\fg,
221 il désigne tout simplement le répertoire dans lequel on se trouve. 224 il désigne tout simplement le répertoire dans lequel on se trouve.
222\end{itemize} 225\end{itemize}
223 226
@@ -229,33 +232,33 @@ pour le moment:
229Signifie \emph{print working directory}. Cette commande vous retourne 232Signifie \emph{print working directory}. Cette commande vous retourne
230tout simplement le chemin d'accès absolu du répertoire dans lequel 233tout simplement le chemin d'accès absolu du répertoire dans lequel
231vous vous trouvez. Très utile pour ne pas se perdre! Exemple: 234vous vous trouvez. Très utile pour ne pas se perdre! Exemple:
232\begin{minted}{bash} 235\begin{minted}{text}
233[robert@kiddo ~]$ pwd 236[robert@kiddo ~]$ pwd
234/home/robert 237/home/robert
235\end{minted} 238\end{minted}
236\begin{quoting}\footnotesize 239\begin{quoting}\footnotesize
237 La séquence \mintinline{bash}+[robert@kiddo ~]$+ est \emph{l'invite 240 La séquence \mintinline{text}+[robert@kiddo ~]$+ est \emph{l'invite
238 de commande} (anglais \emph{prompt}). C'est à la suite de cette 241 de commande} (anglais \emph{prompt}). C'est à la suite de cette
239 invite que l'on entre les commandes. Nous y reviendrons. Observez 242 invite que l'on entre les commandes. Nous y reviendrons. Observez
240 pour le moment quelques unes des informations données par cette 243 pour le moment quelques unes des informations données par cette
241 invite: l'utilisateur \mintinline{bash}{robert} est connecté sur 244 invite: l'utilisateur \mintinline{text}{robert} est connecté sur
242 l'ordinateur \mintinline{bash}{kiddo}; ensuite, le signe 245 l'ordinateur \mintinline{text}{kiddo}; ensuite, le signe
243 \mintinline{bash}+~+ indique qu'il se trouve dans son \emph{home 246 \mintinline{text}+~+ indique qu'il se trouve dans son \emph{home
244 directory}, ce que retourne en effet la commande 247 directory}, ce que retourne en effet la commande
245 \mintinline{bash}+pwd+ qui a été entrée ici. Enfin, le signe 248 \mintinline{text}+pwd+ qui a été entrée ici. Enfin, le signe
246 \mintinline{bash}|$| indique que l'utilisateur 249 \mintinline{text}|$| indique que l'utilisateur
247 \mintinline{bash}|robert| n'est pas l'administrateur du système. En 250 \mintinline{text}|robert| n'est pas l'administrateur du système. En
248 effet, le \emph{prompt} de l'administrateur du système, que l'on 251 effet, le \emph{prompt} de l'administrateur du système, que l'on
249 appelle \emph{root}, se termine par le signe 252 appelle \emph{root}, se termine par le signe
250 \mintinline{bash}|#|. Exemple: 253 \mintinline{text}|#|. Exemple:
251\begin{minted}{bash} 254\begin{minted}{text}
252[root@kiddo ~]# pwd 255[root@kiddo ~]# pwd
253/root 256/root
254[root@kiddo ~]# 257[root@kiddo ~]#
255\end{minted} 258\end{minted}
256 Remarquez que le \emph{home directory} de l'utilisateur 259 Remarquez que le \emph{home directory} de l'utilisateur
257 \mintinline{bash}|root| n'est pas situé dans le répertoire 260 \mintinline{text}|root| n'est pas situé dans le répertoire
258 \mintinline{bash}|/home| qui est réservé aux utilisateurs non 261 \mintinline{text}|/home| qui est réservé aux utilisateurs non
259 privilégiés. 262 privilégiés.
260\end{quoting} 263\end{quoting}
261 264
@@ -263,29 +266,29 @@ vous vous trouvez. Très utile pour ne pas se perdre! Exemple:
263\label{sec:mv} 266\label{sec:mv}
264Signifie \emph{move}. Cette commande déplace les fichiers d'un endroit 267Signifie \emph{move}. Cette commande déplace les fichiers d'un endroit
265vers un autre. La syntaxe est la suivante: 268vers un autre. La syntaxe est la suivante:
266\begin{minted}[showspaces]{bash} 269\begin{minted}[showspaces]{text}
267mv <source> <destination> 270mv <source> <destination>
268\end{minted} 271\end{minted}
269\begin{quoting}\footnotesize 272\begin{quoting}\footnotesize
270 Par convention, le signe \verb*+ + marque l'espace. 273 Par convention, le signe \verb*+ + marque l'espace.
271\end{quoting} 274\end{quoting}
272Exemple: déplacement du fichier \mintinline{bash}{trachiniennes.pdf} 275Exemple: déplacement du fichier \mintinline{text}{trachiniennes.pdf}
273dans le répertoire \mintinline{bash}{travail}: 276dans le répertoire \mintinline{text}{travail}:
274\begin{minted}{bash} 277\begin{minted}{text}
275[robert@kiddo ~]$ mv trachiniennes.pdf travail/ 278[robert@kiddo ~]$ mv trachiniennes.pdf travail/
276\end{minted} 279\end{minted}
277Déplacement du fichier \mintinline{bash}{trachiniennes.pdf} depuis le 280Déplacement du fichier \mintinline{text}{trachiniennes.pdf} depuis le
278répertoire \mintinline{bash}{travail} vers le répertoire courant 281répertoire \mintinline{text}{travail} vers le répertoire courant
279(désigné par le raccourci \mintinline{bash}|.|): 282(désigné par le raccourci \mintinline{text}|.|):
280\begin{minted}{bash} 283\begin{minted}{text}
281[robert@kiddo ~]$ mv travail/trachiniennes.pdf . 284[robert@kiddo ~]$ mv travail/trachiniennes.pdf .
282\end{minted} 285\end{minted}
283Déplacement avec indication des chemins absolus: 286Déplacement avec indication des chemins absolus:
284\begin{minted}{bash} 287\begin{minted}{text}
285[robert@kiddo ~]$ mv /home/robert/trachiniennes.pdf /home/robert/travail/ 288[robert@kiddo ~]$ mv /home/robert/trachiniennes.pdf /home/robert/travail/
286\end{minted} 289\end{minted}
287Utilisation de raccourcis: 290Utilisation de raccourcis:
288\begin{minted}{bash} 291\begin{minted}{text}
289[robert@kiddo ~]$ mv ~/trachiniennes.pdf ~/travail/ 292[robert@kiddo ~]$ mv ~/trachiniennes.pdf ~/travail/
290\end{minted} 293\end{minted}
291 294
@@ -293,27 +296,27 @@ Utilisation de raccourcis:
293\label{sec:cp} 296\label{sec:cp}
294Signifie \emph{copy}. Cette commande copie des fichiers depuis un 297Signifie \emph{copy}. Cette commande copie des fichiers depuis un
295endroit vers un autre. La syntaxe est comparable à celle de la 298endroit vers un autre. La syntaxe est comparable à celle de la
296séquence \mintinline{bash}{mv}. 299séquence \mintinline{text}{mv}.
297\begin{minted}[showspaces]{bash} 300\begin{minted}[showspaces]{text}
298cp <source> <destination> 301cp <source> <destination>
299\end{minted} 302\end{minted}
300Exemple: copie du fichier \mintinline{bash}{trachiniennes.pdf} dans le 303Exemple: copie du fichier \mintinline{text}{trachiniennes.pdf} dans le
301répertoire \mintinline{bash}{travail}: 304répertoire \mintinline{text}{travail}:
302\begin{minted}{bash} 305\begin{minted}{text}
303[robert@kiddo ~]$ cp trachiniennes.pdf travail/ 306[robert@kiddo ~]$ cp trachiniennes.pdf travail/
304\end{minted} 307\end{minted}
305Copie du fichier \mintinline{bash}{trachiniennes.pdf} depuis le 308Copie du fichier \mintinline{text}{trachiniennes.pdf} depuis le
306répertoire \mintinline{bash}{travail} vers le répertoire courant 309répertoire \mintinline{text}{travail} vers le répertoire courant
307(désigné par le raccourci \mintinline{bash}|.|): 310(désigné par le raccourci \mintinline{text}|.|):
308\begin{minted}{bash} 311\begin{minted}{text}
309[robert@kiddo ~]$ cp travail/trachiniennes.pdf . 312[robert@kiddo ~]$ cp travail/trachiniennes.pdf .
310\end{minted} 313\end{minted}
311Copie avec indication des chemins absolus: 314Copie avec indication des chemins absolus:
312\begin{minted}{bash} 315\begin{minted}{text}
313[robert@kiddo ~]$ cp /home/robert/trachiniennes.pdf /home/robert/travail/ 316[robert@kiddo ~]$ cp /home/robert/trachiniennes.pdf /home/robert/travail/
314\end{minted} 317\end{minted}
315Utilisation de raccourcis: 318Utilisation de raccourcis:
316\begin{minted}{bash} 319\begin{minted}{text}
317[robert@kiddo ~]$ cp ~/trachiniennes.pdf ~/travail/ 320[robert@kiddo ~]$ cp ~/trachiniennes.pdf ~/travail/
318\end{minted} 321\end{minted}
319 322
@@ -322,12 +325,12 @@ Utilisation de raccourcis:
322Signifie \emph{change directory}. Permet de changer de répertoire 325Signifie \emph{change directory}. Permet de changer de répertoire
323courant, par exemple pour travailler sur les fichiers d'un répertoire 326courant, par exemple pour travailler sur les fichiers d'un répertoire
324différent de son \emph{home directory}. La syntaxe est la suivante: 327différent de son \emph{home directory}. La syntaxe est la suivante:
325\begin{minted}[showspaces]{bash} 328\begin{minted}[showspaces]{text}
326cd <"chemin_d'accès_du_nouveau_répertoire"> 329cd <chemin_d'accès_du_nouveau_répertoire>
327\end{minted} 330\end{minted}
328 331
329Exemple: changement vers le répertoire \mintinline{bash}|/usr/bin|: 332Exemple: changement vers le répertoire \mintinline{text}|/usr/bin|:
330\begin{minted}{bash} 333\begin{minted}{text}
331[robert@kiddo ~]$ cd /usr/bin 334[robert@kiddo ~]$ cd /usr/bin
332[robert@kiddo /usr/bin]$ 335[robert@kiddo /usr/bin]$
333\end{minted} 336\end{minted}
@@ -335,14 +338,14 @@ Exemple: changement vers le répertoire \mintinline{bash}|/usr/bin|:
335 Remarquez le changement de l'invite après l'exécution de la 338 Remarquez le changement de l'invite après l'exécution de la
336 commande. L'invite nous donne l'indication du nouveau répertoire. 339 commande. L'invite nous donne l'indication du nouveau répertoire.
337\end{quoting} 340\end{quoting}
338Confirmation par la commande \mintinline{bash}{pwd}: 341Confirmation par la commande \mintinline{text}{pwd}:
339\begin{minted}{bash} 342\begin{minted}{text}
340[robert@kiddo /usr/bin]$ pwd 343[robert@kiddo /usr/bin]$ pwd
341/usr/bin 344/usr/bin
342[robert@kiddo /usr/bin]$ 345[robert@kiddo /usr/bin]$
343\end{minted} 346\end{minted}
344\begin{quoting}\footnotesize 347\begin{quoting}\footnotesize
345 NB: la commande \mintinline{bash}{cd} seule fait revenir l'utilisateur 348 NB: la commande \mintinline{text}{cd} seule fait revenir l'utilisateur
346 directement dans son \emph{home directory}. 349 directement dans son \emph{home directory}.
347\end{quoting} 350\end{quoting}
348 351
@@ -352,19 +355,54 @@ Signifie \emph{list}. Affiche à l'écran tous les fichiers et les
352répertoires contenus dans un répertoire donné. Si on ne précise pas le 355répertoires contenus dans un répertoire donné. Si on ne précise pas le
353répertoire dont il faut lister les fichiers, la commande liste les 356répertoire dont il faut lister les fichiers, la commande liste les
354fichiers du répertoire courant. Exemple: on vérifie que le fichier 357fichiers du répertoire courant. Exemple: on vérifie que le fichier
355\mintinline{bash}{trachiniennes.pdf} se trouve bien dans le répertoire 358\mintinline{text}{trachiniennes.pdf} se trouve bien dans le répertoire
356travail: 359travail:
357\begin{minted}{bash} 360\begin{minted}{text}
358[robert@kiddo ~]$ ls travail/ 361[robert@kiddo ~]$ ls travail/
359trachiniennes.pdf 362trachiniennes.pdf
360\end{minted} 363\end{minted}
361\begin{quoting}\footnotesize 364\begin{quoting}\footnotesize
362 Comme on le voit, la commande retourne le nom du seul fichier qui se 365 Comme on le voit, la commande retourne le nom du seul fichier qui se
363 trouve dans le répertoire \mintinline{bash}{travail}.\\ 366 trouve dans le répertoire \mintinline{text}{travail}.\\
364 La commande \mintinline{bash}{ls} est l'une des plus importantes; 367 La commande \mintinline{text}{ls} est l'une des plus importantes;
365 elle admet de nombreuses options que nous détaillerons plus loin 368 elle admet de nombreuses options que nous détaillerons plus loin
366 dans ce cours. 369 dans ce cours.
367\end{quoting} 370\end{quoting}
368 371
372\section{Options}
373\label{sec:options}
374On a donné plus haut l'exemple de la commande \mintinline{text}|ls|
375qui affiche à l'écran tous les fichiers contenus dans un répertoire
376donné. Voici ce que retourne cette commande lancée sur notre dépôt
377Git:
378\begin{minted}{text}
379[robert@kiddo courses]$ ls
380fichiers ls-R makefile _preamble.tex README.md README.pdf README.tex texfiles
381\end{minted}
369 382
383Mais on peut souhaiter recueillir davantage d'informations. Par
384exemple, dans la liste ci-dessus, on ne peut pas distinguer les
385fichiers des répertoires. Heureusement, les commandes peuvent recevoir
386des \emph{options}. Celles-ci sont de deux types:
387\begin{enumerate}
388\item Les options \enquote{longues}, qui sont préfixées par
389 \mintinline{text}|--| et suivies de noms entiers.
390\item Les options \enquote{courtes}, qui sont préfixées par
391 \mintinline{text}|-| et suivies d'abréviations.
392\end{enumerate}
393Voici donc ce que donne la même commande \mintinline{text}|ls|, suivie
394de l'option \mintinline{text}|-l| pour \enquote{use a \ul{l}ong
395 listing format} et de l'option \mintinline{text}|--color|:
396\begin{minted}[escapeinside=||]{text}
397[robert@kiddo courses]$ ls -l --color
398total 56
399drwxr-xr-x 3 robert robert 4096 12 sept. 21:52 |\textcolor{blue}{fichiers}|
400-rw-r--r-- 1 robert robert 88 12 sept. 20:57 ls-R
401-rw-r--r-- 1 robert robert 627 12 sept. 15:11 makefile
402-rw-r--r-- 1 robert robert 558 12 sept. 11:20 _preamble.tex
403-rw-r--r-- 1 robert robert 1254 12 sept. 20:57 README.md
404-rw-r--r-- 1 robert robert 27345 12 sept. 20:58 README.pdf
405-rw-r--r-- 1 robert robert 1570 12 sept. 12:13 README.tex
406-rw-r--r-- 1 robert robert 49 12 sept. 20:57 texfiles
407\end{minted}
370\end{document} 408\end{document}