To top things off, there are function buttons you can press to swap between these profiles on the fly, even while in-game.

If you don't have a bash profile in your home directory, don't worry. Simply make and edit one using an editor such as nano: nano ~/.bash_profile. Once you have written your spiffy new Bash profile ...