From 6cd6b3a078d7dadd0fae9ea1af33163a137b0d00 Mon Sep 17 00:00:00 2001 From: David Heinemeier Hansson Date: Tue, 4 Jun 2024 11:26:26 -0700 Subject: [PATCH] Fix hotkey --- install/gnome-extensions.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/install/gnome-extensions.sh b/install/gnome-extensions.sh index 040489e..bcbe5bc 100644 --- a/install/gnome-extensions.sh +++ b/install/gnome-extensions.sh @@ -57,5 +57,5 @@ if [ -n "$FORCE" ] || ! command -v gnome-shell-extension-manager &>/dev/null; th # Configure Space Bar gsettings set org.gnome.shell.extensions.space-bar.behavior smart-workspace-names false gsettings set org.gnome.shell.extensions.space-bar.shortcuts enable-activate-workspace-shortcuts false - gsettings set org.gnome.shell.extensions.space-bar.shortcuts open-menu "[]" + gsettings set org.gnome.shell.extensions.space-bar.shortcuts open-menu "@as []" fi