From eaf069f2a0ade65cdb6e3e848e4d54aa9419ff32 Mon Sep 17 00:00:00 2001
From: Raúl Benencia <id@rbenencia.name>
Date: Sat, 25 Nov 2023 08:04:34 -0800
Subject: gnome: set workspace config

---
 bin/gnome-set-config   | 12 ++++++++++++
 bin/gnome3-keybindings |  7 -------
 2 files changed, 12 insertions(+), 7 deletions(-)
 create mode 100755 bin/gnome-set-config
 delete mode 100755 bin/gnome3-keybindings

diff --git a/bin/gnome-set-config b/bin/gnome-set-config
new file mode 100755
index 0000000..5bfb476
--- /dev/null
+++ b/bin/gnome-set-config
@@ -0,0 +1,12 @@
+#!/bin/sh
+
+NUM_WORKSPACES=9
+
+gsettings set org.gnome.mutter dynamic-workspaces false
+gsettings set org.gnome.desktop.wm.preferences num-workspaces $NUM_WORKSPACES
+
+for i in $(seq 1 $NUM_WORKSPACES); 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
diff --git a/bin/gnome3-keybindings b/bin/gnome3-keybindings
deleted file mode 100755
index 282fc0c..0000000
--- a/bin/gnome3-keybindings
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/bin/sh
-
-for i in $(seq 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
-- 
cgit v1.2.3