useful bash shortcuts / commands