J'ai récemment ajouté un répertoire au Windows PATH manuellement en allant dans Panneau de configuration -> Système -> Paramètres système avancés -> Variables d'environnement -> Variables utilisateur -> PATH. (Windows 7, 64 bits.)
Après le redémarrage et le démarrage de cmd.exe, echo %PATH%
indique que cela a fonctionné: je vois le répertoire que j'ai récemment ajouté dans la sortie.
Cependant, après avoir démarré Git Bash, la sortie de echo $PATH
n'inclut pas ce répertoire.
Je pourrais ajouter export PATH=$PATH:/c/my/path
dans mon bashrc mais je préfère que Git Bash obtienne simplement PATH à partir de Windows, donc je n'ai pas à me rappeler d'ajouter des chemins à deux endroits. Comment cela peut-il être accompli?
(Une question connexe plus générale est de savoir ce qui configure $ PATH de Git Bash? Je vois quelques entrées répétées à différents endroits, certaines choses qui sont dans Windows% PATH% sont dans $ PATH de Git Bash mais pas d'autres. Que se passe-t-il avant Je reçois l'invite Git Bash qui touche $ PATH?)
C:\cygwin\usr\x86_64-w64-mingw32\sys-root\mingw\bin
.