Thank you for the workaround.
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1645874
Title:
Gnome Terminal doesn't change its class or name
To manage notifications about this bug go to:
https://bugs
For the time being, you can workaround this by first (when it's yet not
running) manually starting up /usr/lib/gnome-terminal/gnome-terminal-
server --name foo --class bar, and then (within 10 seconds) start gnome-
terminal to open the first window.
--
You received this bug notification because y