Pimp my shell! 4 April, 2018 Helge zsh Leave a comment Got a tip from my colleague JB! Want to refresh your terminal? Is it spring and time to freshen things Continue reading
