From a26e913dff65944c4082e34dec8fa906359a37b0 Mon Sep 17 00:00:00 2001
From: Raúl Benencia <id@rbenencia.name>
Date: Wed, 14 May 2025 08:20:57 -0700
Subject: gnome-set-config: rofi-run
---
bin/gnome-set-config | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/bin/gnome-set-config b/bin/gnome-set-config
index 15771d7..69a2b44 100755
--- a/bin/gnome-set-config
+++ b/bin/gnome-set-config
@@ -18,7 +18,7 @@ for i in $(seq 1 $NUM_WORKSPACES); do
done
# This configuration is not present in gsettings; we need to fall back to dconf
-bindings="emacs org-mode move-windows rofi"
+bindings="emacs org-mode move-windows rofi rofi-run"
keybindings_key="/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings"
keybindings=$(echo $bindings | awk -v key="$keybindings_key" '{for(i=1;i<=NF;i++) printf("'\''" key "/" $i "/'\''%s", (i==NF ? "" : ","))}')
keybindings="[$keybindings]"
@@ -44,3 +44,7 @@ gsettings set org.gnome.desktop.wm.keybindings switch-input-source-backward '[]'
dconf write /org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/rofi/binding "'<Super>space'"
dconf write /org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/rofi/command "'rofi -show window'"
dconf write /org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/rofi/name "'rofi'"
+
+dconf write /org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/rofi-run/binding "'<Super>f2'"
+dconf write /org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/rofi-run/command "'rofi -show run'"
+dconf write /org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/rofi-run/name "'rofi-run'"
--
cgit v1.2.3