It's used by .bashrc to set a suitable shell prompt