Even if you’re not a long-time Linux user, the terminal is still great as a way to quickly jump around your system settings ...