Place disque

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

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 en Ko et non en blocs.

Par exemple, voici le contenu du répertoire « histoire » de Toto (arborescence donnée dans le cours sur les répertoires) :

clipper ~ $ du histoire
3744    ./maitrise
168     ./sources/AN
60      ./sources/divers
4808    ./sources/BN
3609    ./sources/Mazarine
292     ./sources/memoires
80      ./sources/notices
9017    ./sources
7656    ./dea
20417   .

Le . (point) de la dernière ligne désigne «le répertoire courant», comme .. (point point) désigne «le répertoire père». Ici, Toto a 20.417 Ko (soit 19,9 Mo) de données dans le répertoire 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
29277   .

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 -a histoire
200     ./maitrise/maitrise.dvi.bz2
6       ./maitrise/maitrise.tex
18      ./maitrise/intro.tex
29      ./maitrise/1a.tex
11      ./maitrise/conclu.tex
112     ./maitrise/maitrise.idx
22      ./maitrise/A.tex
27      ./maitrise/biblio.tex
10      ./maitrise/maitrise.toc
(...)

Pour connaître la taille d'un fichier précis, il suffit d'indiquer à du -a le nom de votre fichier (ls -s fait la: même chose) :

clipper ~ $ du -a maitrise.dvi
656     maitrise.dvi

df

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 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. Ici, nous donnons un exemple (presque) complet, mais vous pouvez aussi taper «df .» pour n'afficher que les informations concernant votre promotion.

corvette ~ $ df
Filesystem            1K-blocks     Used    Avail Capacity  Mounted on
(...)
clipper:/users/00      11760128 10482522  1160005    90%    /users/00
clipper:/users/01      11760128 10563283  1079244    91%    /users/01
clipper:/users/02      11760128  8045368  3597159    69%    /users/02
clipper:/users/93       2569479  2349646   168444    93%    /users/93
clipper:/users/94       2010959  1745646   204985    89%    /users/94
clipper:/users/95       4351726  3473125   835084    81%    /users/95
clipper:/users/96       4351726  3425217   882992    80%    /users/96
clipper:/users/97       8706617  7320036  1299515    85%    /users/97
clipper:/users/98      11760128  9606471  2036056    83%    /users/98
clipper:/users/99      11760128 10963676   678851    94%    /users/99
(...)
clipper:/var/mail       8708973  4167388  4454496    48%    /var/mail

Comment interpréter ces informations

Chaque promotion a une partition, ce qui vous permet de repérer facilement la votre. Le pourcentage donne le taux de remplissage. On considère celui-ci comme critique lorsqu'il 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... Lorsque c'est le cas, prévenez le SPI ainsi que les tuteurs.

Recommandations

Ne stockez pas n'importe quoi sur clipper !

clipper 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 !

Rangez votre courrier

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.

Faites le ménage chez vous

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.

Stockez ailleurs

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.