10 lines
224 B
Bash
10 lines
224 B
Bash
#!/bin/bash
|
|
|
|
_path_add() {
|
|
if [ -d "$1" ] && [[ ":$PATH:" != *":$1:"* ]]; then
|
|
PATH="${PATH:+"$PATH:"}$1"
|
|
fi
|
|
}
|
|
|
|
# Source : https://superuser.com/questions/39751/add-directory-to-path-if-its-not-already-there
|