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).