检测 PATH 中是否有特定的目录条目

With /bin/bash，我如何检测用户的 $PATH 变量中是否有特定目录？

例如

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

Using grep太过分了，如果您正在搜索任何恰好包含 RE 元字符的内容，则可能会造成麻烦。这个问题用bash的内置就可以完美解决[[命令：

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

请注意，在 $PATH 扩展和搜索路径之前添加冒号可以解决子字符串匹配问题；双引号路径可以避免元字符的麻烦。