Add comments.
This commit is contained in:
parent
5257725a34
commit
b1b217cde8
4
.bashrc
4
.bashrc
|
@ -1,8 +1,12 @@
|
|||
#--------------------------------------------------------------------------------
|
||||
# Function to prepend PATH only if it doesn't already exist
|
||||
#--------------------------------------------------------------------------------
|
||||
pathadd() {
|
||||
if [ -d "$1" ] && [[ ":$PATH:" != *":$1:"* ]]; then
|
||||
PATH="$1${PATH:+":$PATH"}"
|
||||
fi
|
||||
}
|
||||
#--------------------------------------------------------------------------------
|
||||
|
||||
#--------------------------------------------------------------------------------
|
||||
# The best editor
|
||||
|
|
Loading…
Reference in a new issue