randogoth/nanuqsaurus
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

chore(terminal): switch default terminal to ptyxis

Browse source
This commit is contained in:
randogoth 2026-02-04 22:12:07 +02:00
parent a59facdb0a
commit 2f8f5e340b
6 changed files with 15 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

2
modules/desktop/patches/logo-menu-custom-menu.patch
View file

@ -127,7 +127,7 @@ diff -ru logo-menu-patch-orig/schemas/org.gnome.shell.extensions.logo-menu.gsche
<key type="s" name="menu-button-terminal">
- <default>"gnome-terminal"</default>
+ <default>"ghostty"</default>
+ <default>"ptyxis"</default>
<summary>Menu Button Terminal</summary>
<description>Change the Menu Button Terminal.</description>
</key>