Bash start up script

2020-11-02

For now, the following is a minimal .bashrc start up script, which matches the one on this wiki's home page in the section on shell scripting in Unix and Unix-like environments:

#!/usr/bin

if [ -e $HOME/Desktop/dot-bashrc-amendments.sh ]; then
    . $HOME/Desktop/dot-bashrc-amendments.sh
fi

# --- EOF ---