useful aliases and bash functions