How to become more efficient with the command line. A quick guide to a few shell shortcuts and basic shell