furufuru@ccsr.u-tokyo.ac.jp wrote:
[...]
> I'm totally at a loss. Could someone tell me how one should set
> environment variables at the startup of Gnome?
A person responded via email to this query of mine. A solution is
to write shell commands in ~/.gnomerc. For example, your .gnomerc
might look like
. $HOME/.bash_profile
or you can directly write export commands in there. I'm glad to find
this clean solution.
Regards,
Ryo