ant/workstation
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Set Ptyxis as default Gnome terminal

Browse source
This commit is contained in:
Anthony Rose 2024-12-23 10:55:11 +00:00
parent 4ad900d53f
commit 6e99d50ff7
1 changed files with 9 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
roles/home-gui/files/gnome-setup.sh
View file

@ -40,14 +40,21 @@ set_keyboard_and_language () {
# Set custom keybindings. # Set custom keybindings.
if [ -x /usr/bin/ptyxis ] if [ -x /usr/bin/ptyxis ]
then then
_acp_term="/usr/bin/ptyxis --new-window" _acp_term="/usr/bin/ptyxis"
else else
_acp_term=/usr/bin/gnome-terminal _acp_term=/usr/bin/gnome-terminal
fi fi
# Launch terminal from Super-Return shortcut.
gsettings set org.gnome.settings-daemon.plugins.media-keys custom-keybindings "['/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/launch-terminal/']" gsettings set org.gnome.settings-daemon.plugins.media-keys custom-keybindings "['/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/launch-terminal/']"
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/launch-terminal/ command "$_acp_term" gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/launch-terminal/ command "$_acp_term --new-window"
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/launch-terminal/ name 'Launch Terminal' gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/launch-terminal/ name 'Launch Terminal'
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/launch-terminal/ binding '<Super>Return' gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/launch-terminal/ binding '<Super>Return'
# Set default Gnome terminal.
gsettings set org.gnome.desktop.default-applications.terminal exec "$_acp_term"
gsettings set org.gnome.desktop.default-applications.terminal exec-arg "--new-window -x"
unset _acp_term unset _acp_term
} }
set_keyboard_and_language set_keyboard_and_language