Lone's notes

Recently Updated

detect if PATH has a specific directory entry in it

1 min read

linux snippets

if [[ ":$PATH:" == *":$HOME/bin:"* ]]; then
  echo "Your path is correctly set"
else
  echo "Your path is missing ~/bin, you might want to add it."
fi

Note that adding colons before both the expansion of $PATH and the path to search for solves the substring match issue; double-quoting the path avoids trouble with meta-characters.

ref: https://stackoverflow.com/a/1397020

Graph View