diff --git a/logiciels/latex/aide.tml b/logiciels/latex/aide.tml index 578e6f6..98efb87 100644 --- a/logiciels/latex/aide.tml +++ b/logiciels/latex/aide.tml @@ -12,7 +12,7 @@

La pléthore de documents disponibles sur l'internet est bien classée -dans la liste des reproches habituellement faits à l'encontre de LaTeX. + dans la liste des reproches habituellement faits à l'encontre de LaTeX. LaTeX est en quelque sorte victime de son succès et du souci de ses utilisateurs de partager leurs connaissances et leurs trucs si chèrement acquis. Si cela part d'un bon sentiment, on n'évite pas deux écueils : @@ -263,7 +263,7 @@ votre question sur forum.

Auteur : Josselin Noirel. -Dernière modification le . +Dernière modification le .
diff --git a/ressources/phare/index.tml b/ressources/phare/index.tml index c1d0dda..1a96eda 100644 --- a/ressources/phare/index.tml +++ b/ressources/phare/index.tml @@ -7,120 +7,137 @@ Phare - - +

Phare, la machine des anciens élèves

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. Ce compte offre une boîte à lettres électronique, un -accès au forum de l'ENS, la -possibilité d'utiliser certains logiciels libres, un espace de stockage de -données limité(attention, le quota de départ est de 200Mo, n'oubliez pas de faire une demande si vous voulez plus de place) sauvegardé quotidiennement et la possibilité d'avoir une -page web -personnelle. Il est accessible par connection à distance et est conçu -pour être aussi similaire que possible aux comptes offerts par le serveur -des élèves de l'ENS. - +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 -conditions à remplir pour avoir -un compte, ainsi que le -formulaire d'inscription.

+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.

-

Services fournis par phare

+

Transférer ses mails

-

Les services sont les mêmes que ceux fournis par -clipper.ens.fr et le réseau des élèves:

+

+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):

-

Comment récupérer ses anciens fichiers 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
+
+ + +

Comment transférer ses fichiers clipper ?

Vous pouvez, en quelque minutes, transférer tous vos fichiers qui -s'accumulent depuis de longues années sur clipper, vers phare. Y compris, bien -sûr, votre page web et vos archives de courrier électronique.

+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.

-

Ménage en se connectant sur clipper à partir d'un ordinateur sous Windows

+

Ne transférer que l'utile

-

en utilisant WinSCP

- -

Nous décrirons dans cette partie comment faire un minimum de ménage à -partir d'un ordinateur sous windows, sans avoir à -taper de commandes barbares. Pour ceux que le clavier n'effraye pas, vous -pouvez aussi consulter le paragraphe suivant.

- -

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 les quotas (1Go ou 200Mo, -au choix).

- -

en utilisant putty

- - -

- Si un terminal et quelques commandes au clavier ne vous font pas peur, vous - pouvez utiliser quelques commandes unix très puissantes. - Pour obtenir un terminal, utilisez putty (cf. la documentation - des WinTuteurs). +

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.

-

Une fois votre terminal ouvert, créez un répertoire -« vers_phare » qui contiendra les fichiers que -vous voulez transférer vers phare. Vous déplacez ceux-ci avec la -commande « mv ». La commande marche aussi bien -pour les fichiers que pour les répertoires.

+

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/
-

Il faut maintenant mesurer la taille de votre répertoire -vers_phare: il ne doit pas dépasser le -quota auquel vous -avez droit sur phare. Pour cela on utilise la commande « du ». -du -sh calcule la taille totale (s comme summarize) -du répertoire courant.

+

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
-407M    .
-clipper ~ $
+clipper ~ $ du -sh vers_phare
+407M    vers_phare
- -

- Si ce répertoire est trop gros, il faut faire du ménage. - Pour faire du ménage efficacement, il faut savoir identifier quels sont les - répertoires et les fichiers les plus encombrant ou les plus anciens. Voici - les commandes qui vous seront les plus utiles. +

Transférer votre répertoire « vers_phare » :

+
+clipper ~ $ rsync -vaczP vers_phare/ login_phare@phare.normalesup.org:clipper
+
+ +

S'aider avec WinSCP ou scp

+ +

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.

+ + +

WinSCP

+ + +

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.

+ +

Utilisation avancée des commandes du et ls

+