[ZSH] Comment se définit le PATH

[gifffftane]

J'utilise zsh.

Je suis étonné, je ne vois nulle part dans les fichiers de lancement la définition de PATH. Dans mon HOME, comme fichier de lancement, je ne vois que .zshrc, et rien dedans qui définisse le PATH. Or il est bien orienté vers des répertoires particuliers à moi, donc il a bien dû à un moment ou à un autre être personnalisé ?...

Merci pour votre aide et vos conseils.

[ggnore]

Peut être dans /etc/profile ?

[gifffftane]

Il y a bien des choses dans /etc/profile, mais je ne vois rien qui corresponde à mon PATH.

Merci pour ta suggestion, malheureusement il faudrait une autre idée

[ggnore]

Perso j'ai ça :

Code :

1
2
3
4
5
6
7
8
9
# /etc/profile: system-wide .profile file for the Bourne shell (sh(1))
# and Bourne compatible shells (bash(1), ksh(1), ash(1), ...).
 
if [ "`id -u`" -eq 0 ]; then
  PATH="/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/bin/X11"
else
  PATH="/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/bin/X11:/usr/games"
fi
[...]

Il y a $HOME/.zshrc, /etc/zshrc, $HOME/ .zsh_profile et finalement /etc/profile.

tu as peut être un $HOME/.profile

As tu essayé un petit

Code :

grep PATH .*

dans ta $HOME
ou

Code :

grep PATH *

dans /etc

[gifffftane]

Perso j'ai :

~ > cat /etc/profile [15:48:49]
# /etc/profile -*- Mode: shell-script -*-
# (c) MandrakeSoft, Chmouel Boudjnah <chmouel@mandrakesoft.com>

loginsh=1

if [ "$UID" -ge 500 ] && ! echo ${PATH} |grep -q /usr/games ; then
PATH=$PATH:/usr/games
fi

Chez Mandrake (sic) on se préoccupe surtout des jeux !

Pas de $HOME/.profile

Rien avec grep.

Ah l'intialisation (soupir).

[ggnore]

pas de /etc/profile.d ?
/etc/environment peut être ?

Essaie ça peut être, dans /etc

Code :

grep -R ^PATH= * 2>/dev/null

attention ça sort beaucoup de choses

[gifffftane]

/etc/profile.d est un répertoire chez moi, et contient plein de fichiers en .csh ou .sh ; je ne sais pas à quoi ils servent.

/etc/environment est un fichier qui ne contient que des commentaires.

grep -R ^PATH= * 2>/dev/null (c'est quoi ce ^PATH ? ) ne me renvoie qu'un fichier à moi qui n'a rien à voir.

[ggnore]

^PATH= ça veut dire une ligne qui commence par PATH=
Normalement c'est comme ça que c'est déclaré

Dans /etc/environment, j'ai une déclaration du path. Par contre je n'ai rien dans profile.d

Tu peux tenter d'afficher ton path :

Code :

echo $PATH

et de faire des grep sur les chemins que tu trouves. Tu pourrais trouver où la variable est attribuée, et quel fichiers source là où c'est attribué.

Tu pourrais tenter de rajouter l'option -i aux grep, ça ignore les différences majuscules/minuscules.

erreur corrigée : c'était .zshrc ou.zsh_profile qu'il fallait consulter

[gifffftane]

Je pense que ça vient de mon .bashrc et de KDE, mais pour des raisons qui m'échappent.

Les faits :

• Mon shell par défaut est le zsh (enfin... en tous les cas c'est celui que j'ai quand j'ai une console).
• Si je me logue à partir d'une console sous KDE, j'ai mon PATH curieux
• Si je me logue à partir d'une terminal texte (enfin... ALT-CTRL-1), alors j'ai un PATH normal que je m'explique.
• Si je change de nom le .bashrc, alors tout est normal dans les deux cas.

Donc il y a quelque chose sous KDE qui lit le .bashrc et qui le transmet à zsh. Mais Quoi ?