Items with tag execignore

• Bash $PATH filtering
  posted on March 2, 2024