The color of the user and host changes when the session takes place over
SSH. This makes it easier to identify to which machine a terminal is
connected.
The escape sequences necessary for controlling the terminal's colors
confuses FTP clients. Therefore, we only use the colors when we can
actually see them -> shell is running interactively.
By using a for loop, new entries can easily be added to the PATH without
having to enter additional commands. The precedence of the entries can
also be easily adjusted by reordering the list that is iterated over.
The local man pages intalled in /usr/local/share/man should be checked
before the system's man pages for matches, since the tools installed in
/usr/local/bin have precedence over the ones at /bin and /usr/bin.
Change bash history management to ignore consecutive duplicates and
commands starting with a whitespace.
