From 39f6bb88fba5a1aec4557f25a47ebab9d070cf2f Mon Sep 17 00:00:00 2001
From: Michiel Scholten <michiel@diginaut.net>
Date: Tue, 15 Jan 2019 15:31:27 +0100
Subject: [PATCH] Changed workspace switchers from Ctrl+Fn to Super+Fn

---
 bin/setup/gnome-set-workspace-switchers.sh | 24 +++++++++++-----------
 1 file changed, 12 insertions(+), 12 deletions(-)

diff --git a/bin/setup/gnome-set-workspace-switchers.sh b/bin/setup/gnome-set-workspace-switchers.sh
index 95a2748..8d83498 100755
--- a/bin/setup/gnome-set-workspace-switchers.sh
+++ b/bin/setup/gnome-set-workspace-switchers.sh
@@ -1,15 +1,15 @@
 #!/bin/bash
 
 #gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-1 "['<Super>Home', '<Super>1']"
-gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-1 "['<Primary>F1']"
-gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-2 "['<Primary>F2']"
-gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-3 "['<Primary>F3']"
-gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-4 "['<Primary>F4']"
-gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-5 "['<Primary>F5']"
-gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-6 "['<Primary>F6']"
-gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-7 "['<Primary>F7']"
-gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-8 "['<Primary>F8']"
-gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-9 "['<Primary>F9']"
-gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-10 "['<Primary>F10']"
-gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-11 "['<Primary>F11']"
-gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-12 "['<Primary>F12']"
+gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-1 "['<Super>F1']"
+gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-2 "['<Super>F2']"
+gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-3 "['<Super>F3']"
+gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-4 "['<Super>F4']"
+gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-5 "['<Super>F5']"
+gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-6 "['<Super>F6']"
+gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-7 "['<Super>F7']"
+gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-8 "['<Super>F8']"
+gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-9 "['<Super>F9']"
+gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-10 "['<Super>F10']"
+gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-11 "['<Super>F11']"
+gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-12 "['<Super>F12']"