Il 12/01/2015 14:37, Andrey Repin ha scritto:
I can't seem to reproduce the behavior. Do you have your $HOME variable
correctly set? (A shoot in the dark, yes...)
No, my HOME is right,
$ echo $HOME
/home/angelo
and also what suggests Corinna is OK. Apparently there was a problem
with a change I did few days ago in .bashrc. I added:
if [ -d /usr/local/texlive ] ; then
if [ -f "${HOME}/.bash_texlive" ]; then
source "${HOME}/.bash_texlive"
fi
fi
Indeed commenting out that, the issue went away. So trying to debug
this, I played a little with .bashrc (renaming, moving etc.). At the
end, I gave up.. an restored always the same .bashrc.. and.. surprise!
the issue was gone! I can't reproduce it any more.. hmm..
Sorry for the noise and thanks for your time.
Ciao,
Angelo.
--
Problem reports: http://cygwin.com/problems.html
FAQ: http://cygwin.com/faq/
Documentation: http://cygwin.com/docs.html
Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple
