I have a patch for this that restores the original WM_CLASS that would have been set with 14.10 by passing it to gnome-terminal-server.
** Patch added: "0001-Pass-class-value-to-gnome-terminal-server-so-that-wi.patch" https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1453991/+attachment/4424289/+files/0001-Pass-class-value-to-gnome-terminal-server-so-that-wi.patch -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1453991 Title: gnome-terminal ignores the command line options --name and --class Status in gnome-terminal package in Ubuntu: Confirmed Bug description: Ubuntu version: Description: Ubuntu 15.04 Release: 15.04 Package version: gnome-terminal: Installed: 3.14.2-0ubuntu3 Candidate: 3.14.2-0ubuntu3 Version table: *** 3.14.2-0ubuntu3 0 500 http://mirrors.coopvgg.com.ar/ubuntu/ vivid/main amd64 Packages 100 /var/lib/dpkg/status Description: gnome-terminal ignores the command line options --name and --class. These options are listed with gnome-terminal --help as general gtk+ options. They should set the WM_CLASS property of the terminal window, so window managers can manage properties of individual windows separately. The WM_CLASS property can be displayed with the xprop command. Example: # gnome-terminal & # xprop WM_CLASS (point the cursor on the terminal window) WM_CLASS(STRING) = "gnome-terminal-server", "Gnome-terminal" # gnome-terminal --disable-factory --name foo --class bar & # xprop WM_CLASS WM_CLASS(STRING) = "gnome-terminal-server", "Gnome-terminal" Here is how it should be: # gnome-terminal & # xprop WM_CLASS WM_CLASS(STRING) = "gnome-terminal-server", "Gnome-terminal" #gnome-terminal --disable-factory --class foo --name bar # xprop WM_CLASS WM_CLASS(STRING) = "bar", "foo" To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1453991/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : [email protected] Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
