From 8f2c14a2eb3ba89fdf487b73aba2c8c8b217f064 Mon Sep 17 00:00:00 2001 From: Evan Pratten Date: Sat, 19 Nov 2022 12:46:27 -0500 Subject: [PATCH] one-time gnome-terminal keybind --- configs/gnome/desktop-settings.sh | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/configs/gnome/desktop-settings.sh b/configs/gnome/desktop-settings.sh index 94318dc..dd93a4c 100644 --- a/configs/gnome/desktop-settings.sh +++ b/configs/gnome/desktop-settings.sh @@ -38,9 +38,13 @@ gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-3 "['3 gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-4 "['4']" # Switch to ws 4 # Allow Mod+Enter to open a terminal -gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/ name "Open Terminal" -gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/ command "gnome-terminal" -gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/ binding "Return" +keybindings=$(gsettings get org.gnome.settings-daemon.plugins.media-keys custom-keybindings) +if [ "$keybindings" = "[]" ]; then + gsettings set org.gnome.settings-daemon.plugins.media-keys custom-keybindings "['/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/']" + gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/ name "Terminal" + gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/ command "gnome-terminal" + gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/ binding "Return" +fi # Top Bar settings gsettings set org.gnome.desktop.interface clock-format 24h # 24 hour clock