gnome terminal

Cameron Simpson cs at zip.com.au
Wed May 23 22:02:31 UTC 2012


On 23May2012 19:46, Patrick Dupre <pdupre at kegtux.org> wrote:
| This what I have in my .bash_profile file:
| 
| USRLOCAL=/usr/local
| USRLOCALINTEL=$USRLOCAL/intel/composer_xe_2011_sp1.9.293
| ROOTSYS=$USRLOCAL/root_v528
| MN2SYS=$USRLOCAL/Minuit2.5.28
| 
| LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$USRLOCAL/lib
| LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$ROOTSYS/lib/root
| LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$HOME/mylib
| LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$MN2SYS/lib
| LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$USRLOCALINTEL/lib/intel64
| 
| export LD_LIBRARY_PATH
| export ROOTSYS
| export MN2SYS
| 
| After I run gnome-terminal without "run command as a login shell",

So that ".bash_profile" should _NOT_ be consulted, yes?

| I get:
|   echo $LD_LIBRARY_PATH
| :/usr/local/lib:/home/pdupre/mylib:/usr/local/intel/composer_xe_2011_sp1.9.293/lib/intel64:/usr/local/root_v528/lib/root
| 
| (so /usr/local/Minuit2.5.28 is missing).
| 
| 
| If I run gnome-terminal with "run command as a login shell", I get:
| 
| echo $LD_LIBRARY_PATH
| :/usr/local/lib:/home/pdupre/mylib:/usr/local/intel/composer_xe_2011_sp1.9.293/lib/intel64:/usr/local/root_v528/lib/root:/usr/local/lib:/usr/local/root_v528/lib/root:/home/pdupre/mylib:/usr/local/Minuit2.5.28/lib:/usr/local/intel/composer_xe_2011_sp1.9.293/lib/intel64
| 
| Now /usr/local/Minuit2.5.28 is set in the variable, but the variable 
| keeps a record of the previous value every
| time that I run gnome-terminal!
| 
| It this normal?

Hmm. Maybe not. What is in your .bashrc?

Also, put:

  set -x

at the top of your .bash_profile and .bashrc. See what shows in your
terminal.

Cheers,
-- 
Cameron Simpson <cs at zip.com.au> DoD#743
http://www.cskk.ezoshosting.com/cs/

Disclaimer: ERIM wanted to share my opinions, but I wouldn't let them.
        - David Wiseman <dwiseman at erim.org>


More information about the users mailing list