AWow I really like your terminal settings. Could you reveal what the settings are?Reply·Thread·Jun 16, 2016·1·What are your top cli tools / hacks for productivity?