add some bash shortcuts