From 3b5214ff0fdc5812c2b1faa9599f2b526d5714e4 Mon Sep 17 00:00:00 2001 From: Evan Pratten Date: Sat, 19 Nov 2022 12:48:45 -0500 Subject: [PATCH] I'm bad at syntax --- configs/gnome/desktop-settings.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configs/gnome/desktop-settings.sh b/configs/gnome/desktop-settings.sh index fc1bdc8..bd30696 100644 --- a/configs/gnome/desktop-settings.sh +++ b/configs/gnome/desktop-settings.sh @@ -39,7 +39,7 @@ gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-4 "['4 # Allow Mod+Enter to open a terminal keybindings=$(gsettings get org.gnome.settings-daemon.plugins.media-keys custom-keybindings) -if [ "$keybindings" = "[]" || "$keybindings" = "@as []" ]; then +if [ "$keybindings" = "[]" ] || [ "$keybindings" = "@as []" ]; 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"