Nach einigen Tests schien das Problem in diesem Fall zu sein, dass mein Computer neu gestartet werden musste, damit die Windows- PATH
Umgebungsvariable aktualisiert werden konnte. Ich hatte dies nicht versucht, weil ich davon ausging, dass dies der Zweck war source ~/.bashrc
, den ich früher immer für ähnliche Zwecke verwendet hatte.
Es war für mich nicht zu umständlich, meinen Computer neu zu starten, aber ich würde lieber einen Befehl haben, der mich daran hindert, und ich kann sehen, dass ein erforderlicher Neustart für Serverbenutzer sehr problematisch ist.
Ein Blick in diese tiefer, so scheint es, source ~/.bashrc
ist fähig, dies zu tun auf UNIX-basierte Systemen, aber das gleiche zu Cygwin gilt nicht, vermutlich weil Cygwin das Windows verwendet PATH
Umgebungsvariablen, anstatt sie explizit bei der Festlegung .bashrc
.
Ich habe eine Follow-up - Frage gepostet hier .