hmmm...

The /etc/profile is giving me trouble. Cannot get out of it gracefully.

Have edited home/Thomas/.bash_profile, but no further. This seems awfully involved compared to the last time I got this installed and working.