cbbe543fce
Remplacement de toutes les phrases du style « Dernière modification le ... [par ...] » par <date value="from git" />, qui produit une phrase du genre à partir de l'historique du dépôt. Le « from git » n'a pas d'importance, c'est juste parce que la DTD de TML (que je préfère ne pas changer) exige un attribut value. Last-change: ignore this commit
119 lines
4.7 KiB
XML
119 lines
4.7 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
||
<!DOCTYPE html
|
||
PUBLIC "-//ENS/Tuteurs//DTD TML 1//EN"
|
||
"tuteurs://DTD/tml.dtd">
|
||
<html>
|
||
<head>
|
||
<title>BOcal 428</title>
|
||
</head>
|
||
<body>
|
||
|
||
|
||
<h1>Manipuler des fichiers</h1>
|
||
|
||
<p>
|
||
D'abord, des préliminaires théoriques, pénibles mais utiles. Il
|
||
existe plusieurs types de fichiers sur les machines Unix :
|
||
</p>
|
||
<ul>
|
||
<li>
|
||
un fichier « ordinaire » contient desdonnées utilisables par des
|
||
programmes (exemple : votre maîtrise) ;
|
||
</li>
|
||
<li>
|
||
un fichier « exécutable » est un programme (exemple : <code>latex</code>) ;
|
||
</li>
|
||
<li>
|
||
enfin, un « répertoire » est un fichier qui contient d'autres
|
||
fichiers, qui peuvent eux-même être des répertoires...
|
||
</li>
|
||
</ul>
|
||
|
||
<p> Ceci donne une structure d'arborescence aux fichiers, ce qui permet
|
||
de s'y retrouver plus facilement. Ainsi, tous vos fichiers sur les
|
||
machines Unix de l'École sont rassemblés à l'intérieur d'un même
|
||
répertoire, qui est votre compte personnel. Vous n'aurez probablement pas
|
||
besoin de le savoir, mais le nom complet de ce répertoire est de la forme
|
||
<code>/users/02/pataphysique/vian</code> ; vous pourrez aussi le désigner
|
||
plus simplement par un tilde (<code>~</code>) dans lescommandes
|
||
ci-dessous. La barre oblique <code>/</code> (et non <code>\</code>)
|
||
marque les sous-répertoires : ans l'exemple ci-dessus, <code>vian</code>
|
||
est un sous-répertoire de <code>pataphysique</code>, lui-même un
|
||
sous-répertoire de <code>02</code>. </p>
|
||
|
||
<p> Maintenant, la pratique. Le moyen le plus simple de manipuler les
|
||
fichiers est de cliquer sur le bouton « Fichiers » en haut à gauche de
|
||
votre écran ; il lance unprogramme qui vous permet de tout manipuler à la
|
||
souris. Ce programme est facile à utiliser, on n'en parlera pas ici. Il
|
||
est également possible de manipuler vos fichiers en tapant des commandes
|
||
dans un terminal. Pourquoi, me direz-vous ? Parce que cette méthode
|
||
marche aussi quand vous vous connectez depuis chez vous, ou depuis le
|
||
labo dans lequel vous êtes en stage, et que vous ne disposez donc pas du
|
||
bouton « Fichiers ». La machine garde en permanence un répertoire qui est
|
||
le « répertoire courant », c'est-à-dire celui dans lequel sont
|
||
normalement effectuées les opérations sur les fichiers. Ce répertoire est
|
||
affiché avant chaque commande que vous tapez : ainsi, </p><pre><span
|
||
class="prompt">clipper ~ $</span></pre><p> signifie que vous êtes dans votre
|
||
répertoire personnel <code>~</code>, alors que</p> <pre><span
|
||
class="prompt">clipper ~/prive $</span></pre> <p>signifie que vous êtes dans le
|
||
sous-répertoire prive de votre répertoire personnel. Enfin, deux points
|
||
(<code>..</code>) désignent l'opération « remonter d'un niveau dans
|
||
l'arborescence ». Ainsi, si votre répertoire courant est
|
||
<code>~/prive</code>, alors <code>../rapport.tex</code> désigne le
|
||
fichier <code>rapport.tex</code> de votre répertoire personnel ; dans ce
|
||
cas, c'est donc un synonyme de <code>~/rapport.tex</code>.</p>
|
||
|
||
<p>
|
||
Les commandes décrites ci-dessous,comme beaucoup de commandes Unix,
|
||
prennent plusieurs paramètres qui leur disent sur quels fichiers
|
||
travailler. Pour entrer la commande, entrez le nom de la commande, puis
|
||
les paramètres, le tout séparé par des espaces (pensez : verbe,complément
|
||
d'objet).</p>
|
||
|
||
<ol> <li> <strong>Copier.</strong> La commande pour cela est cp
|
||
(abréviation pour copy). Elle prend deux arguments : le nom du fichier à
|
||
copier, et le nom de la copie que vous voulez créer. Par exemple,
|
||
<pre>
|
||
cp maitrise.tex dea.tex
|
||
</pre>
|
||
Exception : si le deuxième paramètre est le nom d'un répertoire qui
|
||
existe déjà, une copie du fichier sera créée dans ce répertoire, avec le
|
||
même nom de fichier quel'original. Par exemple, si dea est un
|
||
sous-répertoire de votre répertoire personnel,
|
||
<pre>cp maitrise/intro.tex dea</pre>
|
||
ne clonera que la première partie de votre travail.
|
||
</li>
|
||
|
||
<li><strong>Déplacer.</strong> La commande pour déplacer un fichier
|
||
est mv (move). Elle fonctionne exactement de la même manière que cp, sauf
|
||
que l'original est détruit.<br />
|
||
|
||
<code>mv</code> permet aussi de renommer un fichier. Par exemple,
|
||
<pre>mv houba hop</pre> renomme le fichier houba.
|
||
</li>
|
||
|
||
<li>
|
||
<strong>Supprimer.</strong>
|
||
Pour cela, utilisez la commande rm (remove), suivie du nom du fichier à
|
||
supprimer. Un exemple (kids, don't try this at home !) :
|
||
<pre>
|
||
rm these.tex.
|
||
</pre>
|
||
</li>
|
||
</ol>
|
||
|
||
<p>
|
||
Si cet exposé (quelque peu succinct) vous laisse sur votre faim,
|
||
n'hésitez pas à poser vos questions par mail à
|
||
<a href="mailto:tuteurs@clipper.ens.fr"><code>tuteurs@clipper</code></a>, ou par
|
||
agression verbale en salle S.
|
||
</p>
|
||
|
||
<p class="auteur">Jérôme, pour les tuteurs informatique</p>
|
||
|
||
<div class="metainformation">
|
||
Page maintenue par Joël Riou. <date value="from git" />
|
||
</div>
|
||
|
||
</body>
|
||
</html>
|