Patrick Dupre writes:
Hello,
After I updated my distribution, the gnome-terminal open in a user session
starts
in / and not in $HOME
while $HOME has the right value.
It is OK in a text session.
Do I need to modifiy my gnome-terminal profile session preferences?
No, it's an undetermined bug. There's a bugzilla entry for it.
The workaround is to copy gnome-terminal.desktop to your $HOME/Desktop, and
edit it so that its command is
sh -c "gnome-terminal --working-directory=$HOME &"