Hi, It appears that so far noone has time to fix gnome-terminal on non-Linux. Please would you consider making it "linux-any" untill someone volunteers to fix this problem? Then users will easily notice that gnome-terminal is unavailable and needs porting. In the meantime they can use the alternatives (e.g. xfce4-terminal). -- Robert Millan