Passage en UTF-8 des fichiers TML, 1 : recodage

Last-change: ignore this commit
This commit is contained in:
Marc Mezzarobba 2009-09-20 12:27:14 +02:00 committed by Marc Mezzarobba
parent 46474fbdc3
commit bbc57c52cd
227 changed files with 25795 additions and 25795 deletions

View file

@ -11,63 +11,63 @@
<h1>Place disque</h1>
<p>
<code>clipper</code>, le serveur principal de l'ENS, héberge de nombreux
comptes : ceux de tous les élèves, des jeunes archicubes, des
magistériens et autres invités, ce qui représente un total de plus de
2000 comptes. Les comptes sont regroupés par année de promotion,
<code>clipper</code>, le serveur principal de l'ENS, héberge de nombreux
comptes : ceux de tous les élèves, des jeunes archicubes, des
magistériens et autres invités, ce qui représente un total de plus de
2000 comptes. Les comptes sont regroupés par année de promotion,
toutes disciplines confondues.</p>
<p> Chaque promotion dispose d'une partition (sorte de disque dur
virtuel) séparée sur laquelle est stockée ses données. Il n'y a pas de
système de quotas par personne, mais la place totale occupée par une
promotion est limitée... à la taille de la partition. Si une partition
est pleine, plus personne ne peut enregistrer de données, rendant ainsi
virtuel) séparée sur laquelle est stockée ses données. Il n'y a pas de
système de quotas par personne, mais la place totale occupée par une
promotion est limitée... à la taille de la partition. Si une partition
est pleine, plus personne ne peut enregistrer de données, rendant ainsi
tout travail impossible.</p>
<p> Le courrier électronique est, lui, stocké dans
<p> Le courrier électronique est, lui, stocké dans
<code>/var/mail</code>. Si <code>/var/mail</code> est plein, plus
personne ne peut envoyer ni recevoir de courrier.
</p>
<p>
Faire attention à l'espace disque que l'on prend est donc à la fois
une nécessité, et une obligation (la charte des moyens informatiques
que vous avez signée l'exige). Deux outils vous permettent de
contrôler la taille de vos fichiers et celle de votre compte :
Faire attention à l'espace disque que l'on prend est donc à la fois
une nécessité, et une obligation (la charte des moyens informatiques
que vous avez signée l'exige). Deux outils vous permettent de
contrôler la taille de vos fichiers et celle de votre compte :
<code>du</code> et <code>df</code>.
</p>
<h2><a name="du">Taille de fichiers et de répertoires : <code>du</code></a></h2>
<h2><a name="du">Taille de fichiers et de répertoires : <code>du</code></a></h2>
<h3>Connaître la taille d'un répertoire</h3>
<h3>Connaître la taille d'un répertoire</h3>
<p>
La commande <strong><code>du</code></strong> (<em>disk usage</em>)
indique la taille de vos répertoires et sous-répertoires. Sur certains
systèmes, <code>du</code> indique la taille des fichiers en blocs et non
en Ko, prenez donc le réflexe d'ajouter l'option <code>-k</code>
indique la taille de vos répertoires et sous-répertoires. Sur certains
systèmes, <code>du</code> indique la taille des fichiers en blocs et non
en Ko, prenez donc le réflexe d'ajouter l'option <code>-k</code>
(<em>kilobytes</em>).
</p>
<p>
L'option <code>-h</code> est aussi très utile : elle donne des
résultats beaucoup plus lisibles par un humain (la taille est exprimée
en Ko, Mo ou Go quand c'est possible).
L'option <code>-h</code> est aussi très utile : elle donne des
résultats beaucoup plus lisibles par un humain (la taille est exprimée
en Ko, Mo ou Go quand c'est possible).
</p>
<div class="encadre">
<strong>À noter</strong> : certaines commandes basiques comme
<code>ps</code> ou <code>du</code> n'ont pas le même comportement sur
<strong>À noter</strong> : certaines commandes basiques comme
<code>ps</code> ou <code>du</code> n'ont pas le même comportement sur
les stations Sun (sous Solaris) et les PC (sous
Linux). Reportez-vous aux <a
href="&url.tuteurs;unix/aide.html">pages de man</a> (l'aide en ligne)
pour vérifier quelles sont les options disponibles sur chaque système.
pour vérifier quelles sont les options disponibles sur chaque système.
</div>
<p>
Par exemple, voici le contenu du répertoire « histoire » de
Toto (arborescence donnée dans le <a href="repertoires.html#arbre">cours
sur les répertoires</a>) :
Par exemple, voici le contenu du répertoire « histoire » de
Toto (arborescence donnée dans le <a href="repertoires.html#arbre">cours
sur les répertoires</a>) :
</p>
<pre>
@ -87,15 +87,15 @@ sur les r
</pre>
<p class="continue">
La dernière ligne indique la taille totale du répertoire
« histoire », avec tout ce qu'il contient, soit
4 910 Ko.
La dernière ligne indique la taille totale du répertoire
« histoire », avec tout ce qu'il contient, soit
4 910 Ko.
</p>
<p class="continue">
Ajouter l'option <code>-h</code> (comme « <i
lang="en">human readable</i> ») donne des résultats plus
lisibles :
Ajouter l'option <code>-h</code> (comme « <i
lang="en">human readable</i> ») donne des résultats plus
lisibles :
</p>
<pre>
@ -115,21 +115,21 @@ lisibles
</pre>
<div class="encadre">
<strong>Note</strong> : souvenez-vous que les ordinateurs comptent
de manière <em>binaire</em> et non décimale. <em>Un kilo-octets vaut
donc 1 024 octets</em>, et non 1 000. Un méga-octet vaut
1 024 Ko et non 1 000, et donc en tout
1 048 576 octets. Diviser par 1 000 est une
approximation commode mais elle peut donner des idées assez inexactes
quand on considère des données très volumineuses. </div>
<strong>Note</strong> : souvenez-vous que les ordinateurs comptent
de manière <em>binaire</em> et non décimale. <em>Un kilo-octets vaut
donc 1 024 octets</em>, et non 1 000. Un méga-octet vaut
1 024 Ko et non 1 000, et donc en tout
1 048 576 octets. Diviser par 1 000 est une
approximation commode mais elle peut donner des idées assez inexactes
quand on considère des données très volumineuses. </div>
<h3>Connaître la taille totale de son compte</h3>
<h3>Connaître la taille totale de son compte</h3>
<p>
L'option <code>-s</code> permet de n'afficher que la dernière ligne,
c'est-à-dire le total de tous les répertoire et sous-répertoires, sans
tous les détails. Ainsi, pour connaître la taille de votre compte,
faites un <code>du -sk</code> à la racine de votre compte :
L'option <code>-s</code> permet de n'afficher que la dernière ligne,
c'est-à-dire le total de tous les répertoire et sous-répertoires, sans
tous les détails. Ainsi, pour connaître la taille de votre compte,
faites un <code>du -sk</code> à la racine de votre compte :
</p>
<pre>
@ -138,8 +138,8 @@ faites un <code>du -sk</code>
</pre>
<p>
Encore une fois, si vous êtes sur un PC, utiliser l'option
<code>-h</code> ne fera pas de mal :
Encore une fois, si vous êtes sur un PC, utiliser l'option
<code>-h</code> ne fera pas de mal :
</p>
<pre>
@ -147,12 +147,12 @@ Encore une fois, si vous
96M .
</pre>
<h3>Connaître la taille d'un fichier</h3>
<h3>Connaître la taille d'un fichier</h3>
<p>
L'option <code>-a</code> demande l'affichage la taille de tous les
fichiers contenus dans vos répertoires et sous-répertoires. Ici,
toujours pour le répertoire « histoire » de Toto :
fichiers contenus dans vos répertoires et sous-répertoires. Ici,
toujours pour le répertoire « histoire » de Toto :
</p>
<pre>
@ -171,9 +171,9 @@ toujours pour le r
</pre>
<p>
Pour connaître la taille d'un fichier précis, il suffit d'indiquer à
Pour connaître la taille d'un fichier précis, il suffit d'indiquer à
<code>du -ak</code> le nom de votre fichier (<code>ls -s</code> fait
la même chose) :
la même chose) :
</p>
<pre>
@ -181,13 +181,13 @@ la m
6 histoire/maitrise/maitrise.tex
</pre>
<h3><a name="bigf">Application : quels sont les plus gros fichiers
de votre compte ?</a></h3>
<h3><a name="bigf">Application : quels sont les plus gros fichiers
de votre compte ?</a></h3>
<p>
En utilisant <code>du -ak</code> et le en combinant avec d'autres
commandes, vous pouvez savoir précisément quels sont les fichiers et
les répertoires qui prennent le plus de place sur votre compte.
commandes, vous pouvez savoir précisément quels sont les fichiers et
les répertoires qui prennent le plus de place sur votre compte.
</p>
<pre>
@ -206,10 +206,10 @@ les r
</pre>
<p class="continue">
Vous savez donc que sur ce compte, le répertoire le plus volumineux
est <code>www</code> (le répertoire qui contient la page Web), puis
<code>Mail</code> (qui contient les dossiers de votre boîte aux
lettres). À l'intérieur de <code>www</code>, le répertoire le plus
Vous savez donc que sur ce compte, le répertoire le plus volumineux
est <code>www</code> (le répertoire qui contient la page Web), puis
<code>Mail</code> (qui contient les dossiers de votre boîte aux
lettres). À l'intérieur de <code>www</code>, le répertoire le plus
gros est <code>www/hist</code> dont <code>www/hist/maitrise</code>
occupe la plus grande part, etc.
</p>
@ -217,33 +217,33 @@ occupe la plus grande part, etc.
<h4>Explications</h4>
<ol>
<li> <code>du -ak</code> : on demande la taille de tous les fichiers
et répertoires du compte, en kilo-octets.</li>
<li> <code>|</code> : c'est ce qu'on appelle en anglais un <i
lang="en">pipe</i>, un tuyau. Ce « tuyau » sert à envoyer à une autre
commande le résultat de <code>du -ak</code>.</li>
<li> <code>sort -nr</code> : la commande <code>sort</code> sert à
trier des données, en l'espèce on lui demande de trier par taille
(<code>-n</code>) puis de classer par ordre décroissant
(<code>-r</code>) la liste des fichiers et de leur taille (donnée par
<li> <code>du -ak</code> : on demande la taille de tous les fichiers
et répertoires du compte, en kilo-octets.</li>
<li> <code>|</code> : c'est ce qu'on appelle en anglais un <i
lang="en">pipe</i>, un tuyau. Ce « tuyau » sert à envoyer à une autre
commande le résultat de <code>du -ak</code>.</li>
<li> <code>sort -nr</code> : la commande <code>sort</code> sert à
trier des données, en l'espèce on lui demande de trier par taille
(<code>-n</code>) puis de classer par ordre décroissant
(<code>-r</code>) la liste des fichiers et de leur taille (donnée par
<code>du -ak</code>).</li>
<li> après un autre <i lang="en">pipe</i>, on utilise la commande
<code>head</code>, qui affiche seulement le début d'un fichier. En
l'espèce, on lui demande de ne montrer que les 10 premières lignes du
résultat des opérations précédentes.</li>
<li> après un autre <i lang="en">pipe</i>, on utilise la commande
<code>head</code>, qui affiche seulement le début d'un fichier. En
l'espèce, on lui demande de ne montrer que les 10 premières lignes du
résultat des opérations précédentes.</li>
</ol>
<p class="continue">
Le résultat de toutes ces opérations un peu complexes, c'est que vous
avez affiché les 10 plus gros répertoires ou fichiers (les deux
confondus) de votre compte. Pour ajuster le nombre de fichiers à
afficher, changez le nombre après <code>head</code>.
Le résultat de toutes ces opérations un peu complexes, c'est que vous
avez affiché les 10 plus gros répertoires ou fichiers (les deux
confondus) de votre compte. Pour ajuster le nombre de fichiers à
afficher, changez le nombre après <code>head</code>.
</p>
<p>
Si vous voulez conserver quelque part la liste de vos gros fichiers,
par exemple si vous demandez une longue liste, utilisez une
redirection (<code>&gt;</code>) :
redirection (<code>&gt;</code>) :
</p>
<pre>
@ -251,21 +251,21 @@ redirection (<code>&gt;</code>)
</pre>
<p class="continue">
Le résultat de votre tri sera conservé dans le fichier
<code>gros_fichiers.txt</code> que vous pourrez étudier à tête
reposée.
Le résultat de votre tri sera conservé dans le fichier
<code>gros_fichiers.txt</code> que vous pourrez étudier à tête
reposée.
</p>
<h3>Application : quelle est la taille de votre boîte aux
lettres ?</h3>
<h3>Application : quelle est la taille de votre boîte aux
lettres ?</h3>
<p>
Nous allons de nouveau utiliser le mécanisme des pipes décrit
ci-dessus. Toutes les boîtes aux lettres des gens ayant un compte sur
<code>clipper</code> sont dans le répertoire <code>/var/mail</code>. À
Nous allons de nouveau utiliser le mécanisme des pipes décrit
ci-dessus. Toutes les boîtes aux lettres des gens ayant un compte sur
<code>clipper</code> sont dans le répertoire <code>/var/mail</code>. À
chaque utilisateur correspond le fichier
<code>/var/mail/<em>login</em></code> (remplacez <em>login</em> par
votre identifiant) : c'est le contenu de votre boîte aux lettres
votre identifiant) : c'est le contenu de votre boîte aux lettres
principale.
</p>
@ -275,20 +275,20 @@ principale.
</pre>
<p>
Cette fois-ci, il s'agit de :
Cette fois-ci, il s'agit de :
</p>
<ol>
<li> demander la taille des fichiers contenus dans le répertoire
<code>/var/mail</code> ;</li>
<li> demander la taille des fichiers contenus dans le répertoire
<code>/var/mail</code> ;</li>
<li> <a href="&url.tuteurs;unix/chercher.html">chercher</a> avec la
commande <code>grep</code> le fichier qui vous correspond.</li>
</ol>
<p class="continue">
La boîte mail de l'utilisateur <code>toto</code> fait donc
1 142 Ko. Pour savoir qui ont les plus grosses boîtes aux
lettres :
La boîte mail de l'utilisateur <code>toto</code> fait donc
1 142 Ko. Pour savoir qui ont les plus grosses boîtes aux
lettres :
</p>
<pre>
@ -305,35 +305,35 @@ lettres
43896 egalois
</pre>
<h2><a name="df">Taille d'une partition : <code>df</code></a></h2>
<h2><a name="df">Taille d'une partition : <code>df</code></a></h2>
<p>
La commande <strong><code>df</code></strong> (<em>disk free</em>)
indique la place disponible sur les partitions montées.
indique la place disponible sur les partitions montées.
</p>
<p>
Comme pour <code>du</code>, sur certains systèmes il faut ajouter
l'option <code>-k</code> (<em>kilobytes</em>), pour être sûr que le
résultat sera en Ko et non en blocs.
Comme pour <code>du</code>, sur certains systèmes il faut ajouter
l'option <code>-k</code> (<em>kilobytes</em>), pour être sûr que le
résultat sera en Ko et non en blocs.
</p>
<div class="encadre">
<strong>Note</strong> : l'explication complète de <code>df</code>
fait appel à des notions délicates sur la façon dont les fichiers sont
organisés, d'autant que nous sommes en réseau (par NFS). On n'entrera
donc pas dans les détails dans ce topo. Dans un premier temps,
remplacez le mot « partition » par « disque (dur) »
et ça suffira largement. Si vous êtes curieux, vous pouvez aller lire <a
href="&url.tuteurs;docs/hublot/hublot06.html#concept">Concept :
place-disque</a> (article du numéro 6 du <em>Hublot</em>,
avril 2000). </div>
<strong>Note</strong> : l'explication complète de <code>df</code>
fait appel à des notions délicates sur la façon dont les fichiers sont
organisés, d'autant que nous sommes en réseau (par NFS). On n'entrera
donc pas dans les détails dans ce topo. Dans un premier temps,
remplacez le mot « partition » par « disque (dur) »
et ça suffira largement. Si vous êtes curieux, vous pouvez aller lire <a
href="&url.tuteurs;docs/hublot/hublot06.html#concept">Concept :
place-disque</a> (article du numéro 6 du <em>Hublot</em>,
avril 2000). </div>
<p>
<code>df</code> affiche un tableau, avec une ligne par point de
montage. Les colonnes sont respectivement le système de fichiers, sa
taille, la place utilisée, la place libre, la proportion d'espace
utilisé, et le point de montage. Voici un exemple presque complet :
montage. Les colonnes sont respectivement le système de fichiers, sa
taille, la place utilisée, la place libre, la proportion d'espace
utilisé, et le point de montage. Voici un exemple presque complet :
</p>
<pre>
@ -357,10 +357,10 @@ Filesystem Size Used Avail Use% Mounted on
(...)
</pre>
<p class="continue">Pour connaître simplement l'état d'une partition
donnée, on utilise <code>df -h &lt;nom de la
<p class="continue">Pour connaître simplement l'état d'une partition
donnée, on utilise <code>df -h &lt;nom de la
partition&gt;</code>. Chaque promotion ayant une partition, ceci vous
permet de repérer facilement la vôtre :
permet de repérer facilement la vôtre :
</p>
<pre>
@ -372,44 +372,44 @@ Filesystem Size Used Avail Use% Mounted on
/dev/dsk/c0t12d0s3 12G 6.4G 4.8G 58% /users/03
</pre>
<p class="continue">Nous voyons donc qu'à l'heure où est écrite cette
page, <code>/var/mail</code> est plein à 62 %, et
<code>/users/03</code> est plein à 58 %. La situation est bonne. La
situation est considérée comme critique quand on dépasse les
95 % : il suffit de plusieurs personnes qui stockent des
images, de gros documents PDF, leur DEA, d'un programme emballé qui
écrit sur le disque pour que 100 % de l'espace disque soit pris,
<p class="continue">Nous voyons donc qu'à l'heure où est écrite cette
page, <code>/var/mail</code> est plein à 62 %, et
<code>/users/03</code> est plein à 58 %. La situation est bonne. La
situation est considérée comme critique quand on dépasse les
95 % : il suffit de plusieurs personnes qui stockent des
images, de gros documents PDF, leur DEA, d'un programme emballé qui
écrit sur le disque pour que 100 % de l'espace disque soit pris,
rendant ainsi tout travail impossible pour cette promotion. Ceci arrive
de temps à autres, et ce n'est vraiment pas drôle...
de temps à autres, et ce n'est vraiment pas drôle...
</p>
<div class="attention"><strong>En cas d'urgence</strong> : si vous
vous apercevez que le disque est plein à 99 % ou 100 %,
prévenez le SPI (<code>spi&#64;clipper</code>), qui prendra des mesures
techniques (déplacement de fichiers, etc.). Prévenez également les
<div class="attention"><strong>En cas d'urgence</strong> : si vous
vous apercevez que le disque est plein à 99 % ou 100 %,
prévenez le SPI (<code>spi&#64;clipper</code>), qui prendra des mesures
techniques (déplacement de fichiers, etc.). Prévenez également les
Tuteurs, qui enverront un mail de rappel aux coupables (ceux qui ont les
plus gros comptes). </div>
<h2>Recommandations</h2>
<h3>Ne stockez pas n'importe quoi sur votre compte !</h3>
<h3>Ne stockez pas n'importe quoi sur votre compte !</h3>
<p>
Votre compte est avant tout un <strong>outil de travail</strong>, pas
un espace de stockage gratuit et illimité de mp3, DivX, photos de
vacances et autres fichiers gourmands en place. Imaginez votre tête si
vous ne pouviez pas travailler sur un mémoire urgent, parce qu'un zozo
conserve l'intégrale de <cite>Village People</cite> sur son compte...
un espace de stockage gratuit et illimité de mp3, DivX, photos de
vacances et autres fichiers gourmands en place. Imaginez votre tête si
vous ne pouviez pas travailler sur un mémoire urgent, parce qu'un zozo
conserve l'intégrale de <cite>Village People</cite> sur son compte...
</p>
<p>
Même s'il n'y a pas de quotas, on considère généralement qu'il faut de
bonnes raisons pour occuper plus de 100 Mo d'espace
disque. « C'est ridicule, le disque dur de mon PC fait
100 Go ! », me direz-vous. Certes, mais
<code>clipper</code> n'a pas les mêmes contraintes qu'une machine
personnelle : le matériel est différent, et il y a des sauvegardes
quotidiennes, imaginez le volume des données stockées !
Même s'il n'y a pas de quotas, on considère généralement qu'il faut de
bonnes raisons pour occuper plus de 100 Mo d'espace
disque. « C'est ridicule, le disque dur de mon PC fait
100 Go ! », me direz-vous. Certes, mais
<code>clipper</code> n'a pas les mêmes contraintes qu'une machine
personnelle : le matériel est différent, et il y a des sauvegardes
quotidiennes, imaginez le volume des données stockées !
</p>
<h3>Rangez votre courrier</h3>
@ -418,29 +418,29 @@ quotidiennes, imaginez le volume des donn
Votre mailbox ne devrait pas contenir plus de 50-60 courriers en
attente, surtout s'ils contiennent des attachements. Il faut ranger
votre courrier dans des dossiers (<i lang="en">folders</i>), ainsi ils
seront stockés sur votre compte et non dans <code>/var/mail</code>. Pour
seront stockés sur votre compte et non dans <code>/var/mail</code>. Pour
savoir comment faire, consultez la documentation sur le <a
href="&url.tuteurs;internet/courrier/">courrier électronique</a>, ou
plus spécifiquement la page indiquant comment <a
href="&url.tuteurs;internet/courrier/">courrier électronique</a>, ou
plus spécifiquement la page indiquant comment <a
href="&url.tuteurs;internet/courrier/urgence-mail.html">vider sa
messagerie</a>. Ajoutons qu'en plus, ranger son courrier est plus
sûr : si votre lecteur de mail perd les pédales, vous n'aurez pas
sûr : si votre lecteur de mail perd les pédales, vous n'aurez pas
tout perdu.
</p>
<h3>Faites le ménage chez vous</h3>
<h3>Faites le ménage chez vous</h3>
<p>
Première question à vous posez : ne conservez-vous pas des fichiers
inutiles ou obsolètes ? Pas la peine de les garder <i lang="la">ad
Première question à vous posez : ne conservez-vous pas des fichiers
inutiles ou obsolètes ? Pas la peine de les garder <i lang="la">ad
vitam &aelig;ternam</i> sur le disque, dans ce cas. <a
href="archives.html">Compresser ou archiver</a> vos fichiers fait
économiser une place précieuse. Vous pouvez également supprimer des
fichiers qui peuvent être recréés facilement (par exemple les
économiser une place précieuse. Vous pouvez également supprimer des
fichiers qui peuvent être recréés facilement (par exemple les
fichiers <code>.dvi</code>, <code>.aux</code>, <code>.log</code>,
<code>.toc</code> liés à LaTeX : en 5 secondes de compilation,
vous pouvez les retrouver). Ces fichiers vous seront signalés par un
courrier du « Démon mange-disque », chargé précisément de repérer ce
<code>.toc</code> liés à LaTeX : en 5 secondes de compilation,
vous pouvez les retrouver). Ces fichiers vous seront signalés par un
courrier du « Démon mange-disque », chargé précisément de repérer ce
genre de gros fichiers.
</p>
@ -448,20 +448,20 @@ genre de gros fichiers.
<p>
<code>clipper</code> n'est pas votre seule et unique solution pour
stocker vos données. Vous pouvez les stocker sur d'autres comptes de
l'École : à Montrouge, en salle T pour les matheux... et sur votre
ordinateur personnel si vous en avez un, bien sûr. Sous Unix et Linux,
stocker vos données. Vous pouvez les stocker sur d'autres comptes de
l'École : à Montrouge, en salle T pour les matheux... et sur votre
ordinateur personnel si vous en avez un, bien sûr. Sous Unix et Linux,
utilisez <a
href="&url.tuteurs;internet/loin/ssh.html"><code>scp</code></a> ;
href="&url.tuteurs;internet/loin/ssh.html"><code>scp</code></a> ;
sous Windows, <a
href="http://www.eleves.ens.fr/wintuteurs/tutorials/transfiles/">consultez
la page des WinTuteurs sur le transfert de fichiers</a>. Vous pouvez
également utiliser <a
également utiliser <a
href="&url.tuteurs;internet/loin/ftp.html">FTP</a>.
</p>
<div class="metainformation">Auteur : Émilia Robin, Marie-Lan
Nguyen. Dernière modification : le <date value="$Date: 2007-07-17 10:03:12 $" />.</div>
<div class="metainformation">Auteur : Émilia Robin, Marie-Lan
Nguyen. Dernière modification : le <date value="$Date: 2007-07-17 10:03:12 $" />.</div>
</body>
</html>