From 79048338bfa62f8fa48d4fa992578784057c476d Mon Sep 17 00:00:00 2001 From: Rick Peters Date: Wed, 14 Oct 2026 14:24:44 +0200 Subject: [PATCH] GNOME theme: Dock Settings and Desktop Icons Settings launchers --- lib/gnome-theme.sh | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/lib/gnome-theme.sh b/lib/gnome-theme.sh index 8f69c81..0109f85 100644 --- a/lib/gnome-theme.sh +++ b/lib/gnome-theme.sh @@ -44,11 +44,25 @@ gnometheme_extensions_install() { patch_file steamify-desktop-start.json > "$dir/metadata.json" } +gnometheme_settings_launchers() { + # GNOME Settings has no "Ubuntu Desktop" panel (that is Ubuntu's own patch): launchers + # for the preferences of the dock and of the desktop icons stand in for it. + local apps="${XDG_DATA_HOME:-$HOME/.local/share}/applications" id name uuid + mkdir -p "$apps" + for id in dock:"Dock Settings":dash-to-dock@micxgx.gmail.com icons:"Desktop Icons Settings":ding@rastersoft.com; do + IFS=: read -r id name uuid <<< "$id" + printf '%s\n' '[Desktop Entry]' 'Type=Application' "Name=$name" "Comment=Steamify GNOME theme: $name" \ + "Exec=gnome-extensions prefs $uuid" 'Icon=preferences-desktop' 'Categories=Settings;DesktopSettings;GTK;' \ + 'X-Steamify-Theme=true' > "$apps/steamify-$id-settings.desktop" + done +} + gnometheme_shell() { # The top bar and dash colors: a shell theme, loaded by User Themes, and the dock beside it. sudo pacman -S --needed --noconfirm "${GNOME_THEME_PACKAGES[@]}" >/dev/null 2>&1 || { warn "Couldn't install the dock and the shell theme extension; the colors of apps are set."; return 0; } gnometheme_extensions_install + gnometheme_settings_launchers mkdir -p "$GNOME_THEME_SHELL_DIR" patch_file steamify-gnome-shell.css > "$GNOME_THEME_SHELL_DIR/gnome-shell.css" gset gnometheme org.gnome.shell.extensions.user-theme name "'SteamifyVapor'" || true @@ -103,6 +117,7 @@ gnometheme_enable() { gnometheme_disable() { info "Restoring GNOME's previous look..." grevert gnometheme + rm -f "${XDG_DATA_HOME:-$HOME/.local/share}"/applications/steamify-{dock,icons}-settings.desktop rm -rf "${GNOME_THEME_SHELL_DIR%/gnome-shell}" "$GNOME_USER_EXTENSIONS/steamify-desktop-start@steamify.github.io" \ "$GNOME_USER_EXTENSIONS/dash-to-dock@micxgx.gmail.com" if [[ -f "$STATE_DIR/gnometheme-gtk4.css" ]]; then