[Bug 1645874] Re: Gnome Terminal doesn't change its class or name

2016-12-03 Thread alex123
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

[Bug 1645874] Re: Gnome Terminal doesn't change its class or name

2016-11-30 Thread Egmont Koblinger
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