Files
config-bash/profile.d
xavier f24e250f77 fix: Use _path_prepend in profile.d/krew and profile.d/anyenv
Both prepended to PATH directly, so re-sourcing them in the same
shell would duplicate entries — same issue _path_append already
fixed for profile.d/path and rc.d/rvm. _path_prepend keeps the same
priority ordering (these paths still take precedence over the rest
of PATH) while adding the dedup guard.
2026-08-22 02:10:52 +02:00
..
2017-05-17 11:01:35 +02:00