clipper héberge les comptes de tous les élèves, des
jeunes archicubes, des magistériens et autres invités, pour un total
d'environ 2000 comptes. Les comptes sont regroupés par année de
promotion, toutes disciplines confondues. 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 tout travail impossible. Le
courrier électronique est, lui, stocké dans /var/mail. Si
/var/mail est plein, plus personne ne peut envoyer ni
recevoir de courrier.
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 :
du et df.
du : tailles de fichiers et de répertoires
La commande du (
disk usage) indique la taille de vos répertoires et
sous-répertoires. Sur certains systèmes, il peut être utile d'ajouter
l'option -k (kilobytes), pour être sûr que le
résultat sera bien en kilo-octets. L'option -h 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).
Par exemple, voici le contenu du répertoire « histoire » de Toto (arborescence donnée dans le cours sur les répertoires) :
clipper ~ $ du histoire
1973 histoire/maitrise
127 histoire/sources/AN
36 histoire/sources/divers
30 histoire/sources/etudes
38 histoire/sources/godefroy
335 histoire/sources/images
62 histoire/sources/memoires/saint-simon
161 histoire/sources/memoires
141 histoire/sources/mscrits
913 histoire/sources
2023 histoire/dea
4910 histoire
La dernière ligne indique la taille totale du répertoire « histoire », avec tout ce qu'il contient, soit 4910 Ko.
Ajouter l'option -h (comme « human
readable ») donne des résultats plus lisibles :
clipper ~ $ du -h histoire
2.0M histoire/maitrise
127K histoire/sources/AN
36K histoire/sources/divers
30K histoire/sources/etudes
38K histoire/sources/godefroy
335K histoire/sources/images
62K histoire/sources/memoires/saint-simon
161K histoire/sources/memoires
141K histoire/sources/mscrits
913K histoire/sources
2.0M histoire/dea
4.8M histoire
du -s 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 du -s à la racine de votre compte :
clipper ~ $ du -s
98280 .
Encore une fois, ajouter l'option -h ne fera pas de mal :
clipper ~ $ du -sh
96M .
du -a affiche la taille de tous les fichiers contenus
dans vos répertoires et sous-répertoires. Ici, toujours pour le
répertoire « histoire » de Toto :
clipper ~ $ du -ah histoire | head -10
200K histoire/maitrise/maitrise.dvi.bz2
29K histoire/maitrise/1.html
6.0K histoire/maitrise/maitrise.tex
18K histoire/maitrise/intro.tex
29K histoire/maitrise/1a.tex
11K histoire/maitrise/conclu.tex
112K histoire/maitrise/maitrise.idx
22K histoire/maitrise/A.tex
27K histoire/maitrise/biblio.tex
10K histoire/maitrise/maitrise.toc
(...)
Pour connaître la taille d'un fichier précis, il suffit d'indiquer à
du -ah le nom de votre fichier (ls -s fait la:
même chose) :
clipper ~ $ du -ah histoire/maitrise/maitrise.tex
6.0K histoire/maitrise/maitrise.tex
df : taille d'une partition
La commande df (
disk free) indique la place disponible sur les partitions
montées.
Comme pour du, sur certains systèmes il faut ajouter
l'option -k (kilobytes), pour être sûr que le
résultat sera en Ko et non en blocs.
df 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 Concept :
place-disque (article du numéro 6 du Hublot, avril 2000).
df 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 :
clipper ~ $ df -h
Filesystem Size Used Avail Use% Mounted on
(...)
/dev/dsk/c0t8d0s1 4.2G 3.9G 261M 94% /users/95
/dev/dsk/c0t9d0s0 8.4G 7.7G 604M 93% /users/97
/dev/dsk/c0t0d0s5 2.5G 319M 2.1G 13% /users
/dev/dsk/c0t10d0s1 4.4G 2.4G 2.0G 55% /users/guests
/dev/dsk/c0t10d0s3 8.4G 5.1G 3.2G 62% /var/mail
/dev/dsk/c0t8d0s3 4.2G 3.7G 421M 91% /users/96
/dev/dsk/c0t8d0s6 2.0G 974M 932M 52% /users/94
/dev/dsk/c0t8d0s4 2.0G 841M 1.1G 44% /var/forum2
/dev/dsk/c0t12d0s1 12G 11G 549M 96% /users/99
/dev/dsk/c0t11d0s0 12G 11G 605M 95% /users/00
/dev/dsk/c0t11d0s1 12G 8.8G 2.4G 79% /users/98
/dev/dsk/c0t12d0s0 12G 11G 489M 96% /users/01
/dev/dsk/c0t11d0s3 12G 11G 838M 93% /users/02
/dev/dsk/c0t12d0s3 12G 6.4G 4.8G 58% /users/03
(...)
Pour connaître simplement l'état d'une partition
donnée, on utilise df -h <nom de la
partition>. Chaque promotion ayant une partition, ceci vous
permet de repérer facilement la vôtre :
clipper ~ $ df -h /var/mail Filesystem Size Used Avail Use% Mounted on /dev/dsk/c0t10d0s3 8.4G 5.1G 3.2G 62% /var/mail clipper ~ $ df -h /users/03 Filesystem Size Used Avail Use% Mounted on /dev/dsk/c0t12d0s3 12G 6.4G 4.8G 58% /users/03
Nous voyons donc qu'à l'heure où est écrite cette
page, /var/mail est plein à 62%, et
/users/03 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...
spi@clipper), 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). Votre compte est avant tout un outil de travail, 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 Village People sur son compte...
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 100Mo d'espace disque. « C'est
ridicule, le disque dur de mon PC fait 100Go ! », me
direz-vous. clipper 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 !
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 folders, ainsi ils seront
stockés sur votre compte en non dans /var/mail. Pour
savoir comment faire, consultez la documentation sur le courrier
électronique. Ajoutons qu'en plus, ranger son courrier est plus
sûr : si votre lecteur de mail perd les pédales, vous n'aurez pas tout
perdu.
Première question à vous posez : ne conservez-vous pas des fichiers
inutiles ou obsolètes ? Pas la peine de les garder ad
vitam æternam sur le disque, dans ce cas. Compresser ou archiver vos fichiers fait
économiser une place précieuse. Vous pouvez également supprimer des
fichiers qui peuvent être recréés facilement (par exemple les
fichiers .dvi, .aux, .log,
.toc 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.
clipper 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,
utilisez scp, sous
Windows, consultez
la page des WinTuteurs à ce sujet. Vous pouvez également utiliser
FTP.