Files
config-bash/profile.d
xavier 6e01d0308e fix: Use _path_add for PATH entries appended at the end
profile.d/path and rc.d/rvm concatenated onto PATH directly, so
re-sourcing them in the same shell (source ~/.bashrc, a resourced
tmux pane, etc.) would duplicate entries. _path_add already guards
against that and tests directory existence itself.

profile.d/krew and profile.d/anyenv are left untouched: they prepend
to PATH (to take priority over other entries), while _path_add always
appends — converting them would silently change resolution order.
2026-08-22 01:59:44 +02:00
..
2017-05-17 11:01:35 +02:00