> I have a .bash_profile, but i'm not sure if and which shell i'm using.
> I can only say this: i've installed gentoo. How can i fugure out which
> shell is set for my user and for the root account ?

finger <username>
grep <username> /etc/passwd | awk -F: '{print $7}'

use chsh to change your shell.

> The strange thing is that .bash_logout is always executed, but not
> the .bashrc file. The .bashrc and .bash_profile permission bits
> don't include the executable bit, and the .bash_profile contains this:

add echoes in your .bash* files, like:

echo "executing bashrc"
echo "executing bash_profile"

so you can see when each file is sourced.

And neither bashrc nor bash_profile needs the x bit, since they're sourced and 
not executed.

> # /etc/skel/.bash_profile:
> # $Header: /home/cvsroot/gentoo-src/rc-scripts/etc/skel/.bash_profile,v
> 1.10 2002/11/18 19:39:22 azarah Exp $
>
> #This file is sourced by bash when you log in interactively.
> [ -f ~/.bashrc ] && . ~/.bashrc


-- 
mathieu perrenoud

--
[EMAIL PROTECTED] mailing list

Reply via email to