My venerable .bashrc