On Oct 11, 2012 9:29 PM, "Nicolas Richard" <theonewiththeevill...@yahoo.fr>
wrote:
>
> Joost Roeleveld <jo...@antarean.org> writes:
> > On Wednesday, October 10, 2012 04:57:50 PM Nicolas Richard wrote:
> >> In my homedir:
> >> .bash_profile loads .bashrc
> >> .bashrc says export PATH="~/bin/overrideglobal:${PATH}:~/bin" (and
> >> defines some aliases)
> >
> > Does it load any global default?
>
> No. Here are the full files, omitting comments and empty lines :
>
> youngfrog@geodiff-mac3 ~ $ grep -vH '^#\|^$' .bashrc .bash_profile
> .bashrc:export PATH="~/bin/overrideglobal:${PATH}:~/bin"
> .bashrc:if [[ $- != *i* ]] ; then
> .bashrc: # Shell is non-interactive. Be done now!
> .bashrc: return
> .bashrc:fi
> .bashrc:UPDATEGITREPO="~/TeX/ ~/BSSM/2011/notes-de-conf/ ~/org/
~/BSSM/2012"
> .bashrc:export UPDATEGITREPO
> .bashrc:alias ll="ls -lA"
> .bashrc:alias l="ls -CF"
> .bashrc:alias cp="cp -i"
> .bashrc:alias rm="rm -i"
> .bashrc:alias mv="mv -i"
> .bash_profile:[[ -f ~/.bashrc ]] && . ~/.bashrc
>
> > In other words, what is in the environment when you are normally
> > logged in?
>
> Ok, I thought my original post contained it. In fact that was part of my
> original post :
>
> youngfrog@geodiff-mac3 ~ $ bash -c 'echo $PATH'
>
~/bin/overrideglobal:/usr/local/bin:/usr/bin:/bin:/opt/bin:/usr/i686-pc-linux-gnu/gcc-bin/4.5.4:/usr/games/bin:/usr/local/texlive/2012/bin/i386-linux:~/bin
>
> and I forgot to mention that it was the same as :
> youngfrog@geodiff-mac3 ~ $ env | grep ^PATH
>
PATH=~/bin/overrideglobal:/usr/local/bin:/usr/bin:/bin:/opt/bin:/usr/i686-pc-linux-gnu/gcc-bin/4.5.4:/usr/games/bin:/usr/local/texlive/2012/bin/i386-linux:~/bin
>
> and yet the same as :
> youngfrog@geodiff-mac3 ~ $ echo $PATH
>
~/bin/overrideglobal:/usr/local/bin:/usr/bin:/bin:/opt/bin:/usr/i686-pc-linux-gnu/gcc-bin/4.5.4:/usr/games/bin:/usr/local/texlive/2012/bin/i386-linux:~/bin
>
> Thanks for trying btw. I certainly did something really stupid to set
> the path the first time, but can't see where.
>
A bit desperate, but try :
grep -R "texlive/2011" /etc/*
Rgds,
