Some aliases to use in .bashrc or .profile