The terminal is approachable and can be fun—practice shortcuts to make it your go-to over a GUI. Learn history, !!, Ctrl+R, tab completion, pwd, and cursor shortcuts to edit and reuse commands fast.

US president lauds ‘brilliant operation’ on social media as attorney general says couple will face criminal charges What we know so far about the attack Watch: Aircraft fly low over Caracas as ...