01472b6d05
The custom bin path was set in multiple places. Each time, the line was identical and supposed the use of a /bin/sh emulation with a common extension. To reduce duplicated code and support other platforms, the custom bin path is now set in a dedicated script that can be source'd.
4 lines
130 B
Bash
4 lines
130 B
Bash
BIN_PATH="$HOME/bin"
|
|
found=$(echo $PATH | tr ':' '\n' | grep -w "$BIN_PATH")
|
|
[ ! "$found" ] && export PATH="$BIN_PATH:$PATH"
|
|
true
|