ReplyJun 16, 20161Wow I really like your terminal settings. Could you reveal what the settings are?What are your top cli tools / hacks for productivity?