.bash_profile problem

[Paul Morgan]

On Sun, 2003-12-14 at 05:02, Tom Mitchell wrote:
> The command 'ps' should tell you which shell you have active. 
> Looks like:
> 	$ ps
> 	PID   TTY      TIME     CMD
> 	21497 pts/0    00:00:00 bash
> 	21795 pts/0    00:00:00 ps

ps shows all your active shells, so it could show bash, csh, and more if
you're running multiples. 

Check your current shell by entering `echo $0` at a console. 

You might try placing some echo commands in your .bash_profile and
.bashrc files then re-sourcing them (`source ~/.bashrc`) to double-check
for typos.

Also double-check to see whether /etc/bashrc is overriding something you
put into ~/.bashrc. This assumes that the last thing your ~/.bashrc does
is to source /etc/bashrc.

HTH,
Paul