Thanks for the quick response, guys. I went for editing my .bash_profile, since /etc/profile seemed to consist of a shell script with a confusing function called "pathmunge" that I preferred not to mess with. It had no obvious place (to me, anyway) to put additional directory paths. This should do the trick. -dave.