Bootstrap your Linux terminal session May 18, 2018 When you start a Linux terminal session (aka shell session), you always (or very very often) want to apply some customization to it. For instance: Set the PATH or PS1... [read more]