I found the problem; I had these lines in .bashrc:
olddir=`pwd`
cd ~/Scaricati/root/bin
source thisroot.sh
cd $oldir
I replaced them with:
source ~/Scaricati/root/bin/thisroot.sh
and now it works: it were the cds that made gnome-terminal not open in
the right directory (although I am sure that in
Public bug reported:
I am using Ubuntu 12.04, 32 bit; gnome-terminal 3.4.1.1
If I issue the command:
gnome-terminal --working-directory=
it always opens in $HOME instead of the written .
Same thing happens if I open a new tab (Ctrl+Shift+T) from any directory
different from $HOME.
I also believe
