Il s'agit d'un ordinateur (un serveur) situé à l'École normale
supérieure de Paris sur lequel les anciens élèves de cette école ainsi que
les anciens magistériens et pensionnaires étrangers peuvent avoir un compte
informatique.
Toute personne ayant eu un compte sur clipper a le droit d'avoir un compte
sur phare.
Des pages sur
www.normalesup.org/phare/
décrivent précisément les services offerts par phare, comment obtenir un
compte, etc. Voir aussi
la page du SPI sur la fermeture des comptes.
Connectez-vous sur clipper en utilisant ssh (Linux et MacOS X) ou Putty (Windows). Sous MacOS, il faut aller dans Finder > Applications > Utilitaires > Terminal) pour ouvrir le terminal où taper la commande.
Commencez par rediriger votre
courrier entrant vers phare. On rappelle que la commande que vous
devez taper, c'est ce qui suit le $
.
Sauvegardez votre boîte de réception
sur votre compte en remplaçant dans ce qui suit login
par
votre login(clipper):
clipper ~ $
rsync -av /var/mail/login Mail/boite_clipper
Vérifiez la taille totale de vos messages, et en particulier que vous ne dépassez pas votre quota sur phare:
clipper ~ $ du -sh Mail
187M Mail
Vous pouvez maintenant transférer vos mails:
clipper ~ $ rsync -vaczP Mail login_phare@phare.normalesup.org
Vous pouvez, en quelque minutes, transférer tous vos fichiers qui s'accumulent depuis de longues années sur clipper, vers phare. Y compris votre page web.
Avant tout transfert, songez à faire le ménage. Le plus important, c'est de supprimer les fichiers inutiles et encombrants.
La méthode que nous vous conseillons consiste à placer d'abord les
fichiers que vous voulez transférer dans un répertoire
« vers_phare
». Cette méthode a plusieurs avantages,
notamment de vous permettre de vérifier que les fichiers que vous voulez
déplacer n'excède pas votre quota, et de ne pas transférer vos fichiers de
configuration, qui sont spécifiques à clipper.
Connectez-vous sur clipper comme pour transférer vos mails (cf
ci-dessus). Créez le répertoire « vers_phare
»:
Utilisez les commandes mv
et rm
pour déplacer
et effacer des fichiers ainsi que les commandes ls
et du
pour obtenir des informations.
Déplacer des fichiers et des répertoires avec mv
:
clipper ~ $ mv maitrise vers_phare/ clipper ~ $ mv cubiques2.pdf vers_phare/
Vérifier que vous ne dépassez pas votre quota sur phare. Attention, il faut retirer l'espace occupé les messages que vous avez transféré lors de l'étape précédente à votre quota.
clipper ~ $ du -sh vers_phare
407M vers_phare
Transférer votre répertoire « vers_phare
» :
clipper ~ $ rsync -vaczP vers_phare/ login_phare@phare.normalesup.org:clipper
Vous pouvez utiliser WinSCP ou scp pour transférer vos fichiers sur votre machine personnelle. C'est pratique pour pouvoir ouvrir rapidement un fichier pour décider de son sort. WinSCP a aussi l'avantage de vous permettre de déplacer ou effacer des fichiers à distance.
Lancez WinSCP (cf. la documentation sur
WinSCP) sur votre machine personnelle, et cliquez sur l'onglet « Size ». Il faut en priorité effacer (touche
F8
) les fichiers les plus gros, et ce dans tous les
sous-répertoires. Attention, le dossier /Mail contient vos archives de
courrier électronique ! La touche F9
permet de savoir, entre
autre, la taille totale d'un dossier.
Dans un deuxième temps, déplacez tous les fichiers que vous voulez
transférer vers un répertoire « vers_phare
».
Avant de transférer vos fichier vers phare, il faut contrôler que le
répertoire vers_phare
ne dépasse pas votre quota.
En utilisant du -ak
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. Le résultat sera donné en ordre décroissant, et la
taille en kilo-octets. Ce paragraphe est un bref résumé, il existe une page avec
plus de détails sur la commande du
.
clipper ~ $ du -ak | sort -nr | head -10
98280 .
22007 ./www
1658 ./Mail
9637 ./www/hist
5005 ./www/hist/maitrise
ls
qui liste les fichiers du répertoire courant. L'option
-lh
(long, human readable)
permet d'avoir la taille des fichiers, et la date de modification. Cette liste peut-être triée selon divers
critères.
ls -lhS
pour trier par taille. Commencez par trier le haut de la liste,
les fichiers les plus encombrants.
clipper ~ $ ls -lhS |head -30
total 56M
-rw-r--r-- 1 conduche math98 7.0M Sep 21 2005 0508_grand.zip
-rw-r--r-- 1 conduche math98 2.8M Feb 25 2003 chat.png
-rw-r--r-- 1 conduche math98 2.5M Jul 14 2006 cours.pdf
-rw-r--r-- 1 conduche math98 2.1M Feb 12 17:31 algebre.pdf
(...)
ls -lht
pour trier par date: est-ce que vos fichiers datant d'il y a 4
ans sont toujours utile ?
clipper ~ $ ls -lht (...) -rw-r--r-- 1 conduche math98 868 Nov 26 2002 linux-install.dvi -rw-r--r-- 1 conduche math98 1.1K Nov 26 2002 linux-install.tex -rw-r--r-- 1 conduche math98 24K Oct 25 2002 555239470.pdf clipper ~ $Les fichiers les plus anciens sont en bas de la liste. Ce paragraphe était un bref résumé, il existe une page avec plus de détails sur la commande
ls
.
rm
.
clipper ~ $ rm 0508_* rm: remove regular file `0508.zip'? y rm: remove regular file `0508_grand.zip'? y clipper ~ $Le caractère
*
sert de caractère générique.
Il est fortement déconseillé de transférer vos fichiers de configuration (fichiers de la forme .*). Si vous voulez quand même faire quelques transferts — par exemple votre carnet d'adresse, ou la liste des messages lu dans forum — consultez la page tuteurs sur le sujet.