From d5eab5feed9319b0131c12975b237ebaf1b151b9 Mon Sep 17 00:00:00 2001 From: David Heinemeier Hansson Date: Thu, 30 May 2024 17:55:23 -0700 Subject: [PATCH] Set default pinned applications --- install/gnome-hotkeys.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/install/gnome-hotkeys.sh b/install/gnome-hotkeys.sh index 369d3d9..e793ffb 100644 --- a/install/gnome-hotkeys.sh +++ b/install/gnome-hotkeys.sh @@ -56,3 +56,6 @@ gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/or gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom3/ name 'new chrome' gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom3/ command 'google-chrome' gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom3/ binding '1' + +# Set default pinned applications +gsettings set org.gnome.shell favorite-apps "['google-chrome.desktop', 'Alacritty.desktop', 'code_code.desktop', 'signal-desktop_signal-desktop.desktop', 'spotify.desktop', 'typora_typora.desktop', 'zoom-client_zoom-client.desktop', 'pinta_pinta.desktop', 'com.github.xournalpp.xournalpp.desktop', 'org.gnome.Nautilus.desktop', 'org.gnome.Settings.desktop']"