Magnifique !!! Tout fonctionne (y compris unison).
Merci Dominik et Yann. Les deux solutions
ssh linux 'echo $PATH' et
ssh linux "echo \$PATH"
fonctionnent.
Ce que je n'avais pas compris comme vous l'avez dit, c'est qu'en faisant
ssh linux echo $PATH
je voyais le PATH de mon portable. Quand j'ai compris, j'ai eu un autre
problème parce que je ne comprenais pas pourquoi, en faisant
ssh linux 'echo $PATH' ou
ssh linux
puis authentification, puis logué sur mon serveur
echo $PATH
je n'obtenais pas la même chose. Finalement, j'ai compris qu'avec
ssh linux 'echo $PATH'
j'obtenais le PATH par défaut défini dans ssh (auquel j'ai ajouté celui
d'unison avec le fichier décrit par Dominik : /.ssh/environment), alors
qu'avec un echo $PATH sur le serveur, j'obtenais le PATH du serveur.
Merci donc milles fois, car unison est un logiciel vraiment très efficace.
--
Vincent Guyot
Enseignant (physique)
Lycée Blaise Cendrars
[EMAIL PROTECTED]
--
http://www-internal.alphanet.ch/linux-leman/ avant de poser
une question. Ouais, pour se désabonner aussi.
