I modified the prompt command in bash_profile in order to get rid of a
superfluous space in the prompt. This change is only for the Linux
prompt.

	modified:   bash_profile