When it comes to customizing the tools used daily, no one beats us, developers. We spend most of our time (and free time) on a computer typing code, or writing commands in a terminal. That’s why it is so important to customize it for readability, and esthetics, which is also ...