14 Sep
2012
14 Sep
'12
2:45 p.m.
This happens when you remove the directory which the terminal has as current and create it a new without terminal noticing it has been recreated. I believe cd ~ && cd ~- in terminal should help.
Thanks, I will think at this when it happens again. Sadly, I cannot reproduce this on demand Frédéric