From 38aac0904f2f8536cca9fee8e5d826afcea7038a Mon Sep 17 00:00:00 2001
From: Daan Vanoverloop <daan@vanoverloop.xyz>
Date: Fri, 4 Feb 2022 11:05:29 +0100
Subject: [PATCH] Fix GNOME

---
 Scripts/fix-gnome-workspace-keys.sh | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100755 Scripts/fix-gnome-workspace-keys.sh

diff --git a/Scripts/fix-gnome-workspace-keys.sh b/Scripts/fix-gnome-workspace-keys.sh
new file mode 100755
index 0000000..5c39658
--- /dev/null
+++ b/Scripts/fix-gnome-workspace-keys.sh
@@ -0,0 +1,8 @@
+#!/bin/bash
+
+for i in {1..9}
+do
+    gsettings set org.gnome.shell.keybindings switch-to-application-$i "['']"
+    gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-$i "['<Super>$i']"
+    gsettings set org.gnome.desktop.wm.keybindings move-to-workspace-$i "['<Shift><Super>$i']"
+done