User-level top-priority scripts Jun 13, 2024 Recommended: Set-up your own $HOME/bin/ for user-level top-priority scripts mkdir ~/bin echo "export PATH=$HOME/bin:$PATH" >> ~/.bashrc