Re: $PATH différents dans un terminal et en console ??

2004-08-05 Par sujet rudu
At 21:51 03/08/2004 +0200, you wrote: > Quelqu'un peut m'expliquer? C'est p't'êt pas le bash_profile qui est lu à l'initialisation du *term ? Essaie donc le .bashrc Bingo! C'était vraiment très c*n. Merci à Jean-Michel, Xavier, et les autres... Jean Marc

Re: $PATH différents dans un terminal et en console ??

2004-08-04 Par sujet Younes Zouhair
On Tue, 03 Aug 2004 19:13:15 +0200, jeannot <[EMAIL PROTECTED]> wrote: > Bonjour la liste, > Un truc bête, sûrement, mais je n'arrive pas à faire prendre en compte > par kde ou gnome > la modification de la variable $PATH de mon user. > J'ai bien rajouté dans mon ~/bash_profile les lignes: > export

Re: $PATH différents dans un terminal et en console ??

2004-08-04 Par sujet J.Pierre Pourrez
Le 04/08/04 à 19:10, Pascal Greliche écrivait: > http://z42.de/debian > > Le 4 août 04, à 11:22, J.Pierre Pourrez a écrit : > > >Le 04/08/04 à 10:21, Pascal Greliche écrivait: > > > >>C'est quoi tes outils sur un site avec une erreur 404... ? ;) > > > >Quel site ? > > > >Une erreur 404 indique q

Re: $PATH différents dans un terminal et en console ??

2004-08-04 Par sujet Pascal Greliche
http://z42.de/debian -- Pascal Greliche Service Technique ICX France Tel : 08 99 703 403 Fax : 08 26 800 206 Le 4 août 04, à 11:22, J.Pierre Pourrez a écrit : Le 04/08/04 à 10:21, Pascal Greliche écrivait: C'est quoi tes outils sur un site avec une erreur 404... ? ;) Quel site ? Une erreu

Re: $PATH différents dans un terminal et en console ??

2004-08-04 Par sujet J.Pierre Pourrez
Le 04/08/04 à 10:21, Pascal Greliche écrivait: > C'est quoi tes outils sur un site avec une erreur 404... ? ;) Quel site ? Une erreur 404 indique que le fichier n'est pas présent sur le serveur ;-)

Re: $PATH différents dans un terminal et en console ??

2004-08-04 Par sujet Pascal Greliche
Le 3 août 04, à 22:12, J.Pierre Pourrez a écrit : Va falloir trouver un serveur FTP pour stocker les beaux paquets Debian de Java que l'on construit à partir des outils présents ici : http://z42.de/debian et des J2RE et J2SDK stables de Sun. Ca nous évitera le refrain des applets Java qui ne

Re: $PATH différents dans un terminal et en console ??

2004-08-03 Par sujet Xavier Maillard
On 3 aoû 2004, jeannot wrote: [ ... ] > Quelqu'un peut m'expliquer? Je ne sais pas pour bash, mais en général les shells "modernes" disposent de profiles (enfin j'appelle ça) qui ne font pas tout à fait les mêmes choses suivant la façon dont on les lance. Certains se lancent avec le profile

Re: $PATH différents dans un terminal et en console ??

2004-08-03 Par sujet J.Pierre Pourrez
Le 03/08/04 à 21:51, Jean-Michel OLTRA écrivait: > Le mardi 03 août 2004, jeannot a écrit... > > > > Un truc bête, sûrement, mais je n'arrive pas à faire prendre en compte > > par kde ou gnome > > bof ! > > > Aucun terminal ne me donne via echo $PATH le chemin de mon jsdk. > > Par contre, en

Re: $PATH différents dans un terminal et en console ??

2004-08-03 Par sujet Jean-Michel OLTRA
bonjour, Le mardi 03 août 2004, jeannot a écrit... > Un truc bête, sûrement, mais je n'arrive pas à faire prendre en compte > par kde ou gnome bof ! > Aucun terminal ne me donne via echo $PATH le chemin de mon jsdk. > Par contre, en console, ça marche ! > J'ai bien reloggé mon user, re