One extra piece of information: it seems that on my system gnome-terminal is indeed started by dbus:
$ cat /usr/share/dbus-1/services/org.gnome.Terminal.service [D-BUS Service] Name=org.gnome.Terminal Exec=/usr/lib/gnome-terminal/gnome-terminal-server $ locate gnome-terminal|grep systemd $ echo $? 1
I shall try therefore investigating dbus instead. However, I understand that more recent versions of GNOME start gnome-terminal via systemd, so that is the route that a fix for this bug needs to address.
One extra piece of information: it seems that on my system gnome-terminal is indeed started by dbus:
$ cat /usr/share/ dbus-1/ services/ org.gnome. Terminal. service gnome.Terminal lib/gnome- terminal/ gnome-terminal- server
[D-BUS Service]
Name=org.
Exec=/usr/
$ locate gnome-terminal|grep systemd
$ echo $?
1
I shall try therefore investigating dbus instead. However, I understand that more recent versions of GNOME start gnome-terminal via systemd, so that is the route that a fix for this bug needs to address.