Question facile $PATH Woody ?
Bonjour, J'ai un problème je n'arrive pas a savoir sous Debian Woody comment est constitué le $PATH ? Je m'explique si je fait un : francois:~# echo $PATH j'ai le résultat suivant : /sbin:/usr/sbin:/bin:/usr/bin:/usr/X11R6/bin:/usr/local/bin Si je regarde dans /etc/profile : PATH="/sbin:/usr/sbin:/usr/local/bin:/usr/bin:/bin:/usr/bin/X11:/usr/games" dans mon home j'ai pour le .profile PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/bin/X11 Je n'ai pas de .bash_profile ni de ... Je ne sais pas comment /usr/X11R6/bin est arrivé ? Ma question n'est pas neutre car je désirerai modifier le PATH et je ne sais pas ou le faire ? A l'avance merci. Philou75
Re: Question facile $PATH Woody ?
bonjour, Le samedi 23 octobre 2004, Philippe Merlin a écrit... > J'ai un problème je n'arrive pas a savoir sous Debian Woody comment est > constitué le $PATH ? > Je m'explique si je fait un : > francois:~# echo $PATH j'ai le résultat suivant : > /sbin:/usr/sbin:/bin:/usr/bin:/usr/X11R6/bin:/usr/local/bin > Si je regarde dans /etc/profile : > PATH="/sbin:/usr/sbin:/usr/local/bin:/usr/bin:/bin:/usr/bin/X11:/usr/games" > dans mon home j'ai pour le .profile > PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/bin/X11 > Je n'ai pas de .bash_profile ni de ... > Je ne sais pas comment /usr/X11R6/bin est arrivé ? > Ma question n'est pas neutre car je désirerai modifier le PATH et je ne sais > pas ou le faire ? /etc/login.defs ? fait un rgrep sur /etc ?? -- jm
Re: Question facile $PATH Woody ?
Bonjour Merci pour ta réponse, mais j'ai recherché dans le fichier que tu indiques et j'ai fait aussi un rgrep sans résultat, ou je suis particulièrement bigleux. Amitiés. Philou75 Le dimanche 24 Octobre 2004 09:30, Jean-Michel OLTRA a écrit : > bonjour, > > > Le samedi 23 octobre 2004, Philippe Merlin a écrit... > > > J'ai un problème je n'arrive pas a savoir sous Debian Woody comment est > > constitué le $PATH ? > > Je m'explique si je fait un : > > francois:~# echo $PATH j'ai le résultat suivant : > > /sbin:/usr/sbin:/bin:/usr/bin:/usr/X11R6/bin:/usr/local/bin > > Si je regarde dans /etc/profile : > > PATH="/sbin:/usr/sbin:/usr/local/bin:/usr/bin:/bin:/usr/bin/X11:/usr/game > >s" dans mon home j'ai pour le .profile > > PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/bi > >n/X11 Je n'ai pas de .bash_profile ni de ... > > Je ne sais pas comment /usr/X11R6/bin est arrivé ? > > Ma question n'est pas neutre car je désirerai modifier le PATH et je ne > > sais pas ou le faire ? > > /etc/login.defs ? > > fait un rgrep sur /etc ?? > > -- > jm
Re: Question facile $PATH Woody ?
Le Samedi 23 Octobre 2004 14:27, Philippe Merlin a écrit : > Bonjour, Bonjour, > J'ai un problème je n'arrive pas a savoir sous Debian Woody comment > est constitué le $PATH ? > Je m'explique si je fait un : > francois:~# echo $PATH Dans quelles conditions ? > Ma question n'est pas neutre car je désirerai modifier le PATH et je > ne sais pas ou le faire ? Ben, dans .profile ou .bash_profile, je dirais. Ou peut-être dans /etc/profile si c'est pour le faire globalement. Sinon, tu es sûr que le PATH de ton .profile est exporté ? -- Marc Mezzarobba