File 0001-Set-ptyxis-as-default-terminal-for-EL10.patch of Package gnome-shell-extension-desktop-icons-ng
From 5ba17483870d745fa5567b8ea93c7ccd4bc2937d Mon Sep 17 00:00:00 2001
From: tigro <tigro@msvsphere-os.ru>
Date: Wed, 2 Jul 2025 18:39:22 +0300
Subject: [PATCH] Set ptyxis as default terminal for EL10
---
app/desktopIconsUtil.js | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/app/desktopIconsUtil.js b/app/desktopIconsUtil.js
index 9d96a9e..5552827 100644
--- a/app/desktopIconsUtil.js
+++ b/app/desktopIconsUtil.js
@@ -102,7 +102,7 @@ function spawnCommandLine(commandLine, environ = null) {
function launchTerminal(workdir, command) {
const settings = new Gio.Settings({schema_id: Enums.TERMINAL_SCHEMA});
const settingsExec = settings.get_string(Enums.EXEC_KEY);
- const terminals = ['xdg-terminal-exec', settingsExec, 'kgx', 'gnome-terminal'];
+ const terminals = ['xdg-terminal-exec', settingsExec, 'ptyxis', 'kgx', 'gnome-terminal'];
for (const name of terminals) {
const exec = GLib.find_program_in_path(name);
if (exec !== null) {
--
2.50.0