workstation/roles/home-gui/files/gnome-setup.sh

118 lines
5.2 KiB
Bash
Raw Normal View History

2022-08-22 14:16:10 +00:00
#!/bin/sh
2021-02-24 17:12:09 +00:00
test -x /usr/bin/gsettings || (echo "gsettings not found" && exit 1)
set_favorites_bar () {
2022-08-22 14:16:10 +00:00
if [ -r "${XDG_CONFIG_HOME:-$HOME/.config}/favorite-apps.conf" ]
then
gsettings set org.gnome.shell favorite-apps "$(cat "${XDG_CONFIG_HOME:-$HOME/.config}/favorite-apps.conf")"
else
2022-08-09 10:48:30 +00:00
gsettings set org.gnome.shell favorite-apps "['org.gnome.Terminal.desktop', 'org.gnome.Nautilus.desktop', 'org.mozilla.firefox.desktop']"
fi
2021-02-24 17:12:09 +00:00
}
set_favorites_bar
set_keyboard_and_language () {
2021-11-24 11:38:18 +00:00
gsettings set org.gnome.desktop.input-sources show-all-sources true
2022-08-22 14:16:10 +00:00
if [ "$LANG" = fr_FR.UTF-8 ]
2022-06-30 09:26:34 +00:00
then
2022-08-22 14:09:31 +00:00
gsettings set org.gnome.desktop.input-sources sources "[('xkb', 'us+intl'), ('xkb', 'us')]"
2022-06-30 09:26:34 +00:00
else
2022-08-22 14:09:31 +00:00
gsettings set org.gnome.desktop.input-sources sources "[('xkb', 'us'), ('xkb', 'us+intl')]"
2022-06-30 09:26:34 +00:00
fi
gsettings set org.gnome.desktop.input-sources xkb-options "['lv3:ralt_switch', 'compose:caps', 'nbsp:level3n', 'shift:both_capslock']"
2021-11-11 11:25:57 +00:00
gsettings set org.gnome.desktop.wm.keybindings switch-applications "['<Super>Tab']"
gsettings set org.gnome.desktop.wm.keybindings switch-applications-backward "['<Shift><Super>Tab']"
gsettings set org.gnome.desktop.wm.keybindings switch-windows-backward "['<Shift><Alt>Tab']"
gsettings set org.gnome.desktop.wm.keybindings switch-windows "['<Alt>Tab']"
2021-11-14 13:52:48 +00:00
# Set custom keybindings.
gsettings set org.gnome.settings-daemon.plugins.media-keys custom-keybindings "['/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/launch-terminal/']"
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/launch-terminal/ command '/usr/bin/gnome-terminal'
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/launch-terminal/ name 'Launch Terminal'
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/launch-terminal/ binding '<Primary><Alt>t'
2021-02-24 17:12:09 +00:00
}
set_keyboard_and_language
set_nautilus_preferences () {
gsettings set org.gnome.nautilus.preferences default-folder-viewer 'list-view'
2021-02-25 19:06:23 +00:00
gsettings set org.gtk.Settings.FileChooser sort-directories-first true
2021-02-24 17:12:09 +00:00
}
set_nautilus_preferences
2021-02-25 19:06:23 +00:00
set_gnome_terminal_preferences () {
gsettings set org.gnome.Terminal.Legacy.Settings menu-accelerator-enabled false
gsettings set org.gnome.Terminal.Legacy.Settings shortcuts-enabled false
2022-04-08 18:13:53 +00:00
gsettings set org.gnome.Terminal.Legacy.Settings theme-variant 'dark'
2022-01-11 12:13:29 +00:00
defaultprofile="org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:$(gsettings get org.gnome.Terminal.ProfilesList default | tr -d \')/"
2022-08-22 14:16:10 +00:00
gsettings set "$defaultprofile" background-color '#101010'
gsettings set "$defaultprofile" default-size-columns 132
gsettings set "$defaultprofile" default-size-rows 24
gsettings set "$defaultprofile" foreground-color '#C0C0C0'
gsettings set "$defaultprofile" palette "[
2022-01-11 21:19:16 +00:00
'#000000', '#800000', '#008000', '#808000', '#000080', '#800080', '#008080', '#C0C0C0',
'#808080', '#FF0000', '#00FF00', '#FFFF00', '#0000FF', '#FF00FF', '#00FFFF', '#FFFFFF'
2022-01-11 21:00:22 +00:00
]"
2022-08-22 14:16:10 +00:00
gsettings set "$defaultprofile" use-theme-colors false
2021-02-25 19:06:23 +00:00
}
set_gnome_terminal_preferences
set_gnome_extensions () {
gnomeextcmd=/usr/bin/gnome-extensions
if ! [ -x $gnomeextcmd ]
then
# gnome-extensions not installed.
return
fi
2021-12-21 11:37:55 +00:00
# Disable all extensions.
for ext in $gnomeextcmd list --enabled
do
$gnomeextcmd disable -q $ext
done
}
set_gnome_extensions
2021-02-25 19:06:23 +00:00
set_misc_preferences () {
# Disable alert sounds.
gsettings set org.gnome.desktop.sound event-sounds false
2021-09-24 10:46:49 +00:00
# Turn on natural scrolling.
gsettings set org.gnome.desktop.peripherals.touchpad natural-scroll true
2021-03-11 11:30:46 +00:00
# Configure the top bar and calendar.
gsettings set org.gnome.desktop.interface clock-show-date true
2021-03-11 11:50:52 +00:00
gsettings set org.gnome.desktop.interface clock-show-seconds false
2021-03-11 11:30:46 +00:00
gsettings set org.gnome.desktop.interface show-battery-percentage true
gsettings set org.gnome.desktop.calendar show-weekdate false
2021-03-11 11:30:46 +00:00
# Remove minimise and maximise buttons from the window title bars.
gsettings set org.gnome.desktop.wm.preferences button-layout 'appmenu:close'
2021-03-11 11:30:46 +00:00
# Stop dialogue boxes from 'sticking' to their parent windows.
gsettings set org.gnome.mutter attach-modal-dialogs false
2021-12-21 11:37:55 +00:00
# Disable hot-corners.
gsettings set org.gnome.desktop.interface enable-hot-corners false
# Set a background colour for when a wallpaper is not available.
2021-11-24 16:01:21 +00:00
gsettings set org.gnome.desktop.background primary-color '#023c88'
gsettings set org.gnome.desktop.background secondary-color '#5789ca'
gsettings set org.gnome.desktop.background color-shading-type 'solid'
2021-12-30 15:12:17 +00:00
# Configure fonts.
gsettings set org.gnome.desktop.interface document-font-name 'Sans 11'
gsettings set org.gnome.desktop.interface font-name 'Sans 11'
2021-12-30 15:12:17 +00:00
gsettings set org.gnome.desktop.interface monospace-font-name 'Monospace 11'
gsettings set org.gnome.desktop.wm.preferences titlebar-font 'Sans Bold 11'
2021-12-31 14:50:35 +00:00
# Always show the Accessibility menu.
gsettings set org.gnome.desktop.a11y always-show-universal-access-status true
2021-02-25 19:06:23 +00:00
}
set_misc_preferences
if [ -r "${XDG_CONFIG_HOME:-$HOME/.config}/reset-gnome-setup.local" ]
then
. "${XDG_CONFIG_HOME:-$HOME/.config}/reset-gnome-setup.local"
fi