Added a few bash shortcuts