President Trump said Saturday morning that “massive numbers” of empty tankers are headed to the U.S. to stock up on oil and gas, as Iran continues to restrict movement in the Strait of Hormuz.

Like most of us, I've always treated my editor and terminal as two separate places, with constant back-and-forth between them. I would write code, switch to a terminal, run a script, scan the output, ...