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
2013-04-24 16:58:31 +02:00
2013-04-17 16:18:40 -07:00

config-bash

My configuration for the bash shell

S
Description
Ma configuration personnelle pour bash
Readme
316 KiB
Languages
Shell 100%