Bap: remplacement de tous les " " par des espaces insécables normaux

Last-change: ignore this commit

unix/systemes_fichiers.tml

@@ -16,7 +16,7 @@
 Les répertoires sont appelés <em>directories</em> en anglais. Un répertoire
 est une boîte qui peut contenir des fichiers et d'autres répertoires (comme
 les catalogues de MS-DOS, ou les dossiers du Macintosh). Des exemples de
-répertoires&nbsp;: 
+répertoires : 
 </p>
 
 <pre>
@@ -27,20 +27,20 @@ r
 
 <p>
 On désigne les fichiers (et les répertoires) contenus dans un répertoire
-par&nbsp;: 
+par : 
 </p>
 
 <pre><em>nom de répertoire</em>/<em>nom de fichier</em></pre>
 
 <p>
-Par exemple&nbsp;: <code>/bin/sh</code> est le fichier <code>sh</code> contenu
+Par exemple : <code>/bin/sh</code> est le fichier <code>sh</code> contenu
 dans le répertoire <code>/bin</code>.
 </p>
 
 <p>
 Les répertoires sont organisés en arbre, c'est-à-dire qu'ils sont tous
 contenus dans un répertoire appelé la <em>racine</em>, et désigné par "/".
-Chaque répertoire contient deux répertoires spéciaux&nbsp;:
+Chaque répertoire contient deux répertoires spéciaux :
 </p>
 
 <ul>
@@ -50,7 +50,7 @@ Chaque r
 
 
 <p>
-Exemples&nbsp;:
+Exemples :
 <code>/users/92/.</code> est le même répertoire que <code>/users/92</code>,
 <code>/users/92/..</code> est le même répertoire que <code>/users</code>.
 </p>
@@ -62,7 +62,7 @@ de la salle S, le r
 <code>/users/<em>année</em>/<em>groupe</em>/<em>nom-de-login</em></code>.
 </p>
 
-<p>Exemples&nbsp;:
+<p>Exemples :
 <code>/users/92/maths/<em>vous</em></code>,
 <code>/users/formel/doligez</code>.
 </p>
@@ -70,7 +70,7 @@ de la salle S, le r
 <p>
 On peut aussi désigner le répertoire personneld'un autre utilisateur par le
 nom de login de l'utilisateur précédé d'un tilde (le caractère tilde).
-Exemple&nbsp;: <code>~leroy</code>.
+Exemple : <code>~leroy</code>.
 </p>
 
 
@@ -82,12 +82,12 @@ Il est interpr
 Un nom de fichier qui ne commence pas par <code>/</code> est
 <em>relatif</em>.  Il est interprété en partant du <em>répertoire
 courant</em>. Le répertoire courant est initialement (au moment où vous vous
-connectez) votre répertoire personnel&nbsp;; le répertoire courant est le
+connectez) votre répertoire personnel ; le répertoire courant est le
 répertoire dans lequel vous vous trouvez.
 </p>
 
 <p>
-Exemples&nbsp;:
+Exemples :
 <code>/users/formel/doligez/foo</code> est un nom (ou chemin) absolu.
 <code>bar</code> est un nom relatif.  Il désigne un fichier appelé
 <code>bar</code> et situé dans le répertoire courant.  Le fichier exact dont
@@ -95,7 +95,7 @@ il s'agit d
 </p>
 
 <p>
-Remarque&nbsp;:
+Remarque :
 Le seul caractère spécial dans les noms de fichiers est le slash
 <code>/</code>.  Un nom de fichier peut avoir jusqu'à 255 caractères, et
 contenir un nombre quelconque de points.
@@ -108,7 +108,7 @@ contenir un nombre quelconque de points.
 
 <p>
 Affiche le répertoire courant.
-Exemple&nbsp;: 
+Exemple : 
 </p>
 
 <pre><span class="prompt">chaland ~ $</span> pwd
@@ -118,7 +118,7 @@ Exemple&nbsp;:
 
 <p>
 Change le répertoire courant.  Si on ne lui donne pas d'argument, on
-retourne dans le répertoire personnel.  Exemple&nbsp;: 
+retourne dans le répertoire personnel.  Exemple : 
 </p>
 
 <pre>
@@ -147,7 +147,7 @@ chose que <code>.</code> et <code>..</code>
 
 <p>
 Renomme un fichier, mais peut aussi le déplacer d'un répertoire à
-un autre.  Exemple&nbsp;: 
+un autre.  Exemple : 
 </p>
 
 <pre>
@@ -174,15 +174,15 @@ pourquoi <code>.</code> et <code>..</code> n'apparaissent pas ci-dessus.
 <p>
 Il est parfois ennuyeux d'avoir à taper un nom complet de fichier comme
 <code>nabuchodonosor</code>.  Il est encore plus ennuyeux d'avoir à taper une
-liste de fichier pour les donner en arguments à une commande, comme&nbsp;:
+liste de fichier pour les donner en arguments à une commande, comme :
 <code>cc -o foo bar.c gee.c buz.c gog.c</code>.  Pour éviter ces problèmes,
 on peut utiliser des <em>jokers</em> (<em>wildcards</em> en anglais).
 </p>
 
 <p> 
 Une étoile <code>*</code> dans un nom de fichier est interprétée par le shell
-comme «&nbsp;n'importe quelle séquence de caractères&nbsp;».
-Exemple&nbsp;: <code>cc -o foo *.c</code>.
+comme « n'importe quelle séquence de caractères ».
+Exemple : <code>cc -o foo *.c</code>.
 </p>
 
 <p>
@@ -190,7 +190,7 @@ Pour interpr
 fichiers du répertoire courant qui ne commencent pas par <code>.</code> et
 qui finissent par <code>.c</code>  Ensuite, il remplace <code>*.c</code> par
 cette liste (triée par ordre alphabétique) dans la ligne de commande, et
-exécute le résultat, c'est-à-dire par exemple&nbsp;: <code>cc -o foo bar.c buz.c
+exécute le résultat, c'est-à-dire par exemple : <code>cc -o foo bar.c buz.c
 foo.c gee.c gog.c</code>.
 </p>
 
@@ -208,14 +208,14 @@ parmi <code>a</code>, <code>b</code>, <code>c</code>, <code>d</code>.
 </p>
 
 <p>
-Exemple&nbsp;: <code>echo /users/*</code>
+Exemple : <code>echo /users/*</code>
 affiche la même chose que
 <code>ls /users</code>
 (La commande <code>echo</code> se contente d'afficher ses arguments.)
 </p>
 
 <p>
-Attention&nbsp;:
+Attention :
 </p>
 
 <ul>
@@ -233,19 +233,19 @@ tilde seront effac
 </ul>
 
 <p>
-Interlude&nbsp;: comment effacer un fichier nommé <code>?*</code>&nbsp;?  On ne peut
+Interlude : comment effacer un fichier nommé <code>?*</code> ?  On ne peut
 pas taper <code>rm ?*</code> car le shell remplace <code>?*</code> par la
 liste de tous les fichiers du répertoire courant.  On peut taper <code>rm -i
 *</code> qui supprime tous les fichiers, mais en demandant confirmation à
 chaque fichier.  On répond <code>no</code> à toutes les questions sauf
-<code>rm: remove ?*?</code>. Autre méthode&nbsp;: utiliser les mécanismes de
+<code>rm: remove ?*?</code>. Autre méthode : utiliser les mécanismes de
 quotation (voir ci-dessous).
 </p>
 
 <div class="metainformation">
-Auteurs&nbsp;: Roberto Di Cosmo, Xavier Leroy; Marc Espie.
+Auteurs : Roberto Di Cosmo, Xavier Leroy; Marc Espie.
 Mise à jour d'Émilia Robin et de Nicolas George.
-Dernière modification le <date value="$Date: 2007-07-13 08:41:23 $"/>.
+Dernière modification le <date value="$Date: 2007-07-17 10:03:12 $"/>.
 </div>
 
 </body>