Add some more bash shortcuts