dotfiles/.setpath.sh

BIN_PATH="$HOME/bin"
if [ -d "$BIN_PATH" ]; then
    found=$(echo $PATH | tr ':' '\n' | grep -w "$BIN_PATH")
    [ ! "$found" ] && export PATH="$BIN_PATH:$PATH"
    true
fi
Set the custom bin path within a dedicated script 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. 2017-02-12 16:09:16 +01:00			`BIN_PATH="$HOME/bin"`
Test the directory before adding it 2017-02-12 16:22:28 +01:00			`if [ -d "$BIN_PATH" ]; then`
			`found=$(echo $PATH \| tr ':' '\n' \| grep -w "$BIN_PATH")`
			`[ ! "$found" ] && export PATH="$BIN_PATH:$PATH"`
			`true`
			`fi`