Summary of useful Terminal commands to change Mac settings