Misc. things (tips for using the terminal / bash scripting, etc)