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