This bug was fixed in the package gnome-terminal - 3.34.0-1ubuntu2
---
gnome-terminal (3.34.0-1ubuntu2) eoan; urgency=medium
* gnome-terminal.wrap: Update gnome-terminal-server path for libexec
migration (LP: #1843872)
-- Iain Lane Fri, 13 Sep 2019 09:43:11 +0100
** Changed
> What the script does, since you ask,
Sorry for the loose phrasing. I was aware of the global picture, just
wasn't sure (and was lazy to investigate) when exactly a bug would be
triggered, i.e. when that code would be reached, which you answered:
> It is broken if you pass --app-id
Thanks for t
Right, thanks. It is broken if you pass --app-id. I fixed that last
night, but I went to bed before testing it :-). What the script does,
since you ask, is restore some options that were dropped several
releases ago, and broke lots of peoples' desktop launchers. I complained
loudly at the time but
