"Jeff Sheinberg" <[EMAIL PROTECTED]> writes:
> Here is my workaround, is goes into my ~/.xsession file, which is
> a #!/bin/sh script,
>
> # Source profiles only if not yet done so.
> if test "${ENV:-XXXX}" != "${env:-YYYY}" ; then
> test -f /etc/profile && . /etc/profile
> test -f ${HOME}/.profile && . ${HOME}/.profile
> fi
GNOME uses ~/.gnomerc (though I didn't realize it until I read the
relevant gdm script), and if you don't have a .gnomerc, it doesn't
(didn't?) do what you expect with respect to shell config because it
takes actions after starting up the parent login shell that may
clobber your normal ~/.bash* (or whatever) config file settings.
However, it sources .gnomerc right before handing control over to your
session, so I do this in my ~/.gnomerc
# This is ~/.gnomerc
source ${HOME}/.bash_profile
and I arrange for my .bash_profile to handle everything else as usual.
Hope this helps.
--
Rob Browning
rlb @defaultvalue.org and @debian.org; previously @cs.utexas.edu
GPG starting 2002-11-03 = 14DD 432F AE39 534D B592 F9A0 25C8 D377 8C7E 73A4
