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 I couldn't get traction on having them reinstated, so we carry this wrapper to keep compatibility.
https://git.launchpad.net/~ubuntu-desktop/ubuntu/+source/gnome- terminal/commit/?id=b88cca55ea6380e8e7e916d2649508fdcd7b9b7b Going to upload that in a minute, thanks again for the report. -- 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/1843872 Title: libexec migration incomplete Status in gnome-terminal package in Ubuntu: New Bug description: Debian/Ubuntu package of gnome-terminal 3.34.0 moved the server binary from /usr/lib/gnome-terminal to /usr/libexec. The Ubuntu package ships a wrapper script as /usr/bin/gnome-terminal. This one still looks for the server at its old location in spawn_terminal_server(). It's unclear to me what this wrapper script exactly does, and how/why it still manages to successfully start up gnome-terminal (probably in a different way than it intends to). To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1843872/+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
