In /etc/paths werden die einzelen Einträge für $PATH hinterlegt, das war’s schon.
Weitere, interne Verarbeitung:
/etc/profile führt /usr/libexec/path_helper beim Starten einer Terminal-Shell aus, welches dann wiederum $PATH aus den hinterlegten Infos generiert.
Kommentar abgeben