Re: Problems with gnome-terminal