bash_additions Several custom additions for convenience. Can be used by: copy content and append to ~/.bashrc load it with source bash_additions.sh (either ad-hoc or load it from within ~/.bashrc).