Switch from hardcoding gnome-terminal to using xdg-terminal-exec

This is packaged in various Linux distros already: https://repology.org/project/xdg-terminal-exec/versions

and we can't assume that gnome-terminal is preinstalled anymore (CentOS Stream 10, RHEL 10 and derivatives, Fedora 47+ and Ubuntu have switched to ptyxis by default)

(not sure why the openSUSE version number is weird)

Signed-off-by: Michel Lind <[email protected]>

Author: michel-slm

README.md

@@ -22,6 +22,11 @@ More precisely, Argos is a GNOME Shell extension that turns executables' standar
 
 ## Installation
 
+### Dependencies
+
+For GNOME 45 and newer, you need `xdg-terminal-exec` since on newer GNOME
+releases we cannot assume `gnome-terminal` is preinstalled.
+
 ### Manually using git (all recent GNOME shell versions)
 
 Clone the repository:

[email protected]/menuitem.js

@@ -64,7 +64,7 @@ const cArgosMenuItem = GObject.registerClass(
 	    } else {
 	      // Run shell immediately after executing the command to keep the terminal window open
 	      // (see http://stackoverflow.com/q/3512055)
-	      argv = ["gnome-terminal", "--", "bash", "-c", activeLine.bash + "; exec ${SHELL:=bash}"];
+	      argv = ["xdg-terminal-exec", "--", "bash", "-c", activeLine.bash + "; exec ${SHELL:=bash}"];
 	    }
 
 	    let [success, pid] = GLib.spawn_async(