tuteurs.ens.fr/ressources/phare/index.tml

217 lines
8.1 KiB
Text
Raw Normal View History

<?xml version="1.0" encoding="UTF-8"?>
2007-06-26 17:38:54 +02:00
<!DOCTYPE html
PUBLIC "-//ENS/Tuteurs//DTD TML 1//EN"
"tuteurs://DTD/tml.dtd">
<html>
<head>
<title>Phare</title>
</head>
<body>
<h1>Phare, la machine des anciens élèves</h1>
2007-06-30 14:04:31 +02:00
<p> 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.
2007-06-26 17:38:54 +02:00
Toute personne ayant eu un compte sur clipper a le droit d'avoir un compte
sur phare.
Des pages sur <a href="http://www.normalesup.org/phare/">
<code>www.normalesup.org/phare/</code></a>
décrivent précisément les services offerts par phare, comment obtenir un
compte, etc. Voir aussi <a href="http://www.spi.ens.fr/findescomptes.html">
la page du SPI sur la fermeture des comptes. </a></p>
2007-06-26 17:38:54 +02:00
<h2> Transférer ses mails </h2>
2007-06-26 17:38:54 +02:00
<p>
Connectez-vous sur clipper en utilisant
<a href="&url.tuteurs;internet/loin/ssh.html">ssh (Linux et MacOS X)</a>
ou <a href="http://www.eleves.ens.fr/wintuteurs/tutorials/putty/">Putty
(Windows)</a>. Sous MacOS, il faut aller dans Finder &gt; Applications &gt;
Utilitaires &gt; Terminal) pour ouvrir le terminal où taper la commande.
Commencez par <a href="&url.tuteurs;faq/mail.html#forward">rediriger votre
courrier entrant vers phare</a>. On rappelle que la commande que vous
devez taper, c'est ce qui suit le <code> $</code>.
Sauvegardez votre boîte de réception
sur votre compte en remplaçant dans ce qui suit <code>login</code> par
votre login(clipper):</p>
2007-06-26 17:38:54 +02:00
<pre>
2008-09-17 15:25:50 +02:00
<span class="prompt"> clipper ~ $</span> rsync -av /var/mail/login Mail/boite_clipper
</pre>
2007-06-26 17:38:54 +02:00
<p> Vérifiez la taille totale de vos messages, et en particulier que vous
ne dépassez pas votre quota sur phare:
</p>
2007-06-26 17:38:54 +02:00
<pre>
<span class="prompt">clipper ~ $</span> du -sh Mail
187M Mail
</pre>
2007-06-26 17:38:54 +02:00
<p> Vous pouvez maintenant transférer vos mails:
</p>
2007-06-26 17:38:54 +02:00
<pre>
<span class="prompt">clipper ~ $</span> rsync -vaczP Mail login_phare@phare.normalesup.org:
</pre>
2007-06-26 17:38:54 +02:00
<h2>Comment transférer ses fichiers clipper ?</h2>
2007-06-26 17:38:54 +02:00
<p>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.</p>
<p>Avant tout transfert, songez à faire le ménage. Le plus important, c'est
de supprimer les fichiers <strong>inutiles et encombrants</strong>.</p>
2007-06-26 17:38:54 +02:00
<h4> Ne transférer que l'utile </h4>
2007-06-26 17:38:54 +02:00
<p> La méthode que nous vous conseillons consiste à placer d'abord les
fichiers que vous voulez transférer dans un répertoire
« <code>vers_phare</code> ». 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.
2007-06-26 17:38:54 +02:00
</p>
<p> Connectez-vous sur clipper comme pour transférer vos mails (cf
ci-dessus). Créez le répertoire « <code>vers_phare</code> »:</p>
2008-09-17 15:25:50 +02:00
<pre>
<span class="prompt">clipper ~ $</span> mkdir vers_phare
</pre>
<p> Utilisez les commandes <code>mv</code> et <code>rm</code> pour déplacer
et effacer des fichiers ainsi que les commandes <code>ls</code>
et <code>du</code> pour obtenir des informations.
</p>
<p> Déplacer des fichiers et des répertoires avec <code>mv</code>:</p>
2007-06-26 17:38:54 +02:00
<pre>
<span class="prompt">clipper ~ $</span> mv maitrise vers_phare/
<span class="prompt">clipper ~ $</span> mv cubiques2.pdf vers_phare/
</pre>
<p>Vérifier que vous ne dépassez pas votre quota sur phare. Attention, il
faut retirer l'espace occupé par les messages que vous avez transférés
lors de l'étape précédente à votre quota.</p>
2007-06-26 17:38:54 +02:00
<pre>
<span class="prompt">clipper ~ $</span> du -sh vers_phare
407M vers_phare
2007-06-26 17:38:54 +02:00
</pre>
<p> Transférer votre répertoire <code>vers_phare</code> :
2007-06-26 17:38:54 +02:00
</p>
<pre>
2008-09-17 15:25:50 +02:00
<span class="prompt">clipper ~ $</span> rsync -vaczP vers_phare/ login_phare@phare.normalesup.org:depuis_clipper
</pre>
<h3> S'aider avec WinSCP ou scp </h3>
<p> Vous pouvez utiliser WinSCP ou scp pour transférer vos fichiers sur
votre machine personnelle. C'est pratique pour pouvoir ouvrir rapidement
un fichier afin de décider de son sort. WinSCP a aussi l'avantage de vous
permettre de déplacer ou effacer des fichiers en mode graphique.</p>
<h4>WinSCP</h4>
<p> Lancez WinSCP (cf. <a href="http://www.eleves.ens.fr/wintuteurs/tutorials/transfiles/">la documentation sur
WinSCP</a>) sur votre machine personnelle, et cliquez sur l'onglet « Size ». Il faut en priorité effacer (touche
<code>F8</code>) 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 <code>F9</code> permet de savoir, entre
autre, la taille totale d'un dossier.</p>
<p>Dans un deuxième temps, déplacez tous les fichiers que vous voulez
transférer vers un répertoire « <code>vers_phare</code> ».</p>
<p>Avant de transférer vos fichier vers phare, il faut contrôler que le
répertoire <code>vers_phare</code> ne dépasse pas votre quota. </p>
<h2> Utilisation avancée des commandes du, ls et rm </h2>
<ul><li><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. 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
<a href="&url.tuteurs;unix/place_disque.html#du">plus de détails sur la commande <code>du</code></a>.</p>
2007-06-26 17:38:54 +02:00
<pre>
<span class="prompt">clipper ~ $</span> du -ak | sort -nr | head -10
98280 .
22007 ./www
1658 ./Mail
9637 ./www/hist
5005 ./www/hist/maitrise
</pre>
</li>
<li>Une fois les plus gros répertoires identifiés, on peut utiliser
2007-06-26 17:38:54 +02:00
<code>ls</code>
qui liste les fichiers du répertoire courant. L'option
2007-06-26 17:38:54 +02:00
<code>-lh</code> (<em>long, human readable</em>)
permet d'avoir la taille des fichiers, et la date de modification. Cette liste peut-être triée selon divers
critères.
2007-06-26 17:38:54 +02:00
<code>ls -lhS</code> pour trier par taille. Commencez par trier le haut de la liste,
les fichiers les plus encombrants.
<pre>
<span class="prompt">clipper ~ $</span> 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
(...)
</pre>
<code>ls -lht</code> pour trier par date: est-ce que vos fichiers datant d'il y a 4
ans sont toujours utile ?
<pre>
<span class="prompt">clipper ~ $</span> 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
<span class="prompt">clipper ~ $</span>
</pre>
Les fichiers les plus anciens sont en bas de la liste.
Ce paragraphe était un bref résumé, il existe une page avec
<a href="&url.tuteurs;/unix/repertoires.html#ls">plus de détails sur la commande <code>ls</code></a>.
2007-06-26 17:38:54 +02:00
</li>
<li>Pour effacer les fichiers inutiles, utilisez la commande <code>rm</code>.
<pre>
<span class="prompt">clipper ~ $</span> rm 0508_*
rm: remove regular file `0508.zip'? y
rm: remove regular file `0508_grand.zip'? y
<span class="prompt">clipper ~ $</span>
</pre>
Le caractère <code>*</code> sert de caractère générique.
2007-06-26 17:38:54 +02:00
</li>
</ul>
<!-- Que faire des répertoires temporaires, comment récupérer les bookmarks -->
2007-06-26 17:38:54 +02:00
<!-- avant de tout virer, liste des logiciels qui ne servent plus sur phare, -->
<!-- où l'on peut donc virer les .machinrc/ -->
2007-06-26 17:38:54 +02:00
2008-09-17 15:28:32 +02:00
<h2>Fichiers de configuration</h2>
2007-06-26 17:38:54 +02:00
<p>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 &mdash; par exemple votre carnet d'adresse, ou la liste des
2011-07-08 04:34:11 +02:00
messages lus dans forum &mdash; consultez
la <a href="&url.tuteurs;ressources/phare/phare-config.html">page
tuteurs</a> sur le sujet.</p>
2007-06-26 17:38:54 +02:00
<div class="metainformation">
Auteur : Denis Conduché et Éric Levieil.
<date value="from git" />
2007-06-26 17:38:54 +02:00
</div>
</body>
</html>