From ff5713a91ac8d9e57a93dfce02ba5c4b1316f63b Mon Sep 17 00:00:00 2001 From: Alexander Hess Date: Wed, 26 Aug 2026 15:21:00 +0200 Subject: [PATCH] Remove archived GNOME extension configs --- .config/gnome-settings/key-bindings.ini | 14 -- .config/gnome-settings/shell-extensions.ini | 248 -------------------- .local/bin/dconf-verify | 2 +- 3 files changed, 1 insertion(+), 263 deletions(-) diff --git a/.config/gnome-settings/key-bindings.ini b/.config/gnome-settings/key-bindings.ini index 0cb270c..50b2873 100644 --- a/.config/gnome-settings/key-bindings.ini +++ b/.config/gnome-settings/key-bindings.ini @@ -709,20 +709,6 @@ open-new-window-application-9=@as [] -# [org/gnome/shell/extensions/nightthemeswitcher/time] -# This extension is not in use any more and its config kept as archive - -# nightthemeswitcher-ondemand-keybinding=['d'] - - - -# [org/gnome/shell/extensions/project-hamster] -# This extension is not in use any more and its config kept as archive - -# show-hamster-dropdown=['t'] - - - [org/gnome/shell/extensions/space-bar/shortcuts] # We use the `switch-to-workspace-N`s in [org/gnome/desktop/wm/keybindings] diff --git a/.config/gnome-settings/shell-extensions.ini b/.config/gnome-settings/shell-extensions.ini index e556dda..417b828 100644 --- a/.config/gnome-settings/shell-extensions.ini +++ b/.config/gnome-settings/shell-extensions.ini @@ -63,15 +63,6 @@ hidden-indicators=['id:tray-icon'] -# [org/gnome/shell/extensions/auto-move-windows] -# This extension is not in use any more and its config kept as archive - -# Open these apps on fixed workspaces -# where the format is ".desktop:" -# application-list=['org.gnome.Evolution.desktop:10'] - - - # [org/gnome/shell/extensions/drive-menu] # This extension does not have any settings @@ -243,43 +234,6 @@ theme=false -# [org/gnome/shell/extensions/nightthemeswitcher] -# This extension is not in use any more and its config kept as archive - - -# [org/gnome/shell/extensions/nightthemeswitcher/time] - -# manual-schedule=true - -# sunrise=6.0 -# sunset=18.0 - - -# [org/gnome/shell/extensions/nightthemeswitcher/cursor-variants] - -# enabled=false - - -# [org/gnome/shell/extensions/nightthemeswitcher/gtk-variants] - -# enabled=false - - -# [org/gnome/shell/extensions/nightthemeswitcher/icon-variants] - -# enabled=false - - -# [org/gnome/shell/extensions/nightthemeswitcher/shell-variants] - -# enabled=false - - -# See ~/.config/gnome-settings/key-bindings.ini for the key bindings -# nightthemeswitcher-ondemand-keybinding=['d'] - - - [org/gnome/shell/extensions/no-screenshot-box] mute-screenshot-sound=true @@ -291,149 +245,12 @@ screenshot-on-release=false -# [org/gnome/shell/extensions/openbar] -# This extension is not in use any more and its config kept as archive - -# Top Bar Properties -# bartype='Floating' -# position='Top' -# set-notif-position=true -# height=32.0 -# set-overview=true -# set-fullscreen=true -# fitts-widgets=true -# margin=3.0 -# set-bottom-margin=true -# bottom-margin=0.0 - -# Top bar properties when a window is maximized -# => We want the same unified bar at all times -# wmaxbar=false - -# Disable "Auto Theming" because we manage colors manually -# accent-override=false -# auto-bgalpha=false -# autohg-bar=false -# autofg-bar=false -# autofg-menu=false -# autotheme-font=false -# autotheme-refresh=false -# smbgoverride=false - -# `openbar` keeps per-mode shadow profiles (i.e., "dark-*"/"light-*" below) -# and copies them over the live keys on every dark/light toggle -# => The "Live" keys below must always match the "dark-*" profile -# because we run dark mode by default - -# "Live" Bar -# bguri='file:///home/user/.local/share/backgrounds/dark.jpg' -# bgcolor=['0.180', '0.180', '0.196'] -# bgcolor-wmax=['0.180', '0.180', '0.196'] -# bgcolor2=['0.020', '0.290', '0.333'] -# fgcolor=['0.871', '0.929', '0.945'] -# bcolor=['0.588', '0.816', '0.867'] -# hcolor=['0.024', '0.478', '0.553'] -# iscolor=['0.180', '0.180', '0.196'] -# boxcolor=['0.180', '0.180', '0.196'] -# shcolor=['0', '0', '0'] -# balpha=1.0 -# bwidth=2.0 -# bradius=12.0 -# neon=false -# default-font='FiraCode Nerd Font 12' - -# "Live" Menus -# mbgcolor=['0.180', '0.180', '0.196'] -# smbgcolor=['0.020', '0.290', '0.333'] -# mfgcolor=['0.871', '0.929', '0.945'] -# mbcolor=['0.290', '0.643', '0.714'] -# mhcolor=['0.024', '0.478', '0.553'] -# mscolor=['0.129', '0.565', '0.643'] -# mshcolor=['0', '0', '0'] - -# "Live" Accents -# accent-color=['0.129', '0.565', '0.643'] -# hscd-color=['0.129', '0.565', '0.643'] -# vw-color=['0.129', '0.565', '0.643'] -# winbcolor=['0.290', '0.643', '0.714'] - -# Dark profile -# => Keep identical to the "Live" keys above -# dark-bguri='file:///home/user/.local/share/backgrounds/dark.jpg' -# dark-bgcolor=['0.180', '0.180', '0.196'] -# dark-bgcolor-wmax=['0.180', '0.180', '0.196'] -# dark-bgcolor2=['0.020', '0.290', '0.333'] -# dark-fgcolor=['0.871', '0.929', '0.945'] -# dark-bcolor=['0.588', '0.816', '0.867'] -# dark-hcolor=['0.024', '0.478', '0.553'] -# dark-iscolor=['0.180', '0.180', '0.196'] -# dark-boxcolor=['0.180', '0.180', '0.196'] -# dark-shcolor=['0', '0', '0'] -# dark-mbgcolor=['0.180', '0.180', '0.196'] -# dark-smbgcolor=['0.020', '0.290', '0.333'] -# dark-mfgcolor=['0.871', '0.929', '0.945'] -# dark-mbcolor=['0.290', '0.643', '0.714'] -# dark-mhcolor=['0.024', '0.478', '0.553'] -# dark-mscolor=['0.129', '0.565', '0.643'] -# dark-mshcolor=['0', '0', '0'] -# dark-accent-color=['0.129', '0.565', '0.643'] -# dark-hscd-color=['0.129', '0.565', '0.643'] -# dark-vw-color=['0.129', '0.565', '0.643'] -# dark-winbcolor=['0.290', '0.643', '0.714'] - -# Light profile -# light-bguri='file:///home/user/.local/share/backgrounds/light.jpg' -# light-bgcolor=['0.180', '0.180', '0.196'] -# light-bgcolor-wmax=['0.180', '0.180', '0.196'] -# light-bgcolor2=['0.020', '0.290', '0.333'] -# light-fgcolor=['0.871', '0.929', '0.945'] -# light-bcolor=['0.588', '0.816', '0.867'] -# light-hcolor=['0.024', '0.478', '0.553'] -# light-iscolor=['0.180', '0.180', '0.196'] -# light-boxcolor=['0.180', '0.180', '0.196'] -# light-shcolor=['0', '0', '0'] -# light-mbgcolor=['0.180', '0.180', '0.196'] -# light-smbgcolor=['0.020', '0.290', '0.333'] -# light-mfgcolor=['0.871', '0.929', '0.945'] -# light-mbcolor=['0.290', '0.643', '0.714'] -# light-mhcolor=['0.024', '0.478', '0.553'] -# light-mscolor=['0.129', '0.565', '0.643'] -# light-mshcolor=['0', '0', '0'] -# light-accent-color=['0.129', '0.565', '0.643'] -# light-hscd-color=['0.129', '0.565', '0.643'] -# light-vw-color=['0.129', '0.565', '0.643'] -# light-winbcolor=['0.290', '0.643', '0.714'] - - - [org/gnome/shell/extensions/panel-date-format] format='%A %B %-d, %Y %H:%M:%S %Z%z' -# [org/gnome/shell/extensions/project-hamster] -# This extension is not in use any more and its config kept as archive - -# How Hamster is shown in the top bar: -# - 0 => label -# - 1 => icon -# - 2 => label and icon -# -# Note that the icon does not adapt to a light panel -# panel-appearance=0 - -# Position among the panel's items, -# where `3` means "center, next to calendar", -# which is the only option not replacing another GUI element -# panel-placement=3 - - -# See ~/.config/gnome-settings/key-bindings.ini for the key bindings -# show-hamster-dropdown=['t'] - - - [org/gnome/shell/extensions/rounded-window-corners-reborn] # Rounds all window corners uniformly (e.g., needed for `alacritty`) @@ -542,68 +359,3 @@ toggle-overview=false # [org/gnome/shell/extensions/space-bar/shortcuts] # See ~/.config/gnome-settings/key-bindings.ini for the key bindings - - - -# [org/gnome/shell/extensions/system-monitor] -# This extension is not in use any more and its config kept as archive - -# center-display=false -# compact-display=false -# icon-display=false -# move-clock=false -# show-tooltip=false - -# battery-display=false -# battery-hidesystem=false -# battery-show-menu=false -# battery-show-text=false -# battery-time=false - -# cpu-display=true -# cpu-show-menu=false -# cpu-show-text=true -# cpu-style='digit' -# cpu-individual-cores=false - -# disk-display=false -# disk-show-menu=false -# disk-show-text=false -# disk-style='digit' -# disk-usage-style='none' - -# fan-display=false -# fan-show-menu=false -# fan-show-text=false -# fan-style='digit' - -# freq-display=false -# freq-show-menu=false -# freq-show-text=false -# freq-style='digit' - -# gpu-display=false -# gpu-show-menu=false -# gpu-show-text=false -# gpu-style='digit' - -# memory-display=true -# memory-show-menu=false -# memory-show-text=true -# memory-style='digit' - -# net-display=false -# net-show-menu=false -# net-show-text=false -# net-style='digit' - -# swap-display=false -# swap-show-menu=false -# swap-show-text=false -# swap-style='digit' - -# thermal-display=false -# thermal-show-menu=false -# thermal-show-text=false -# thermal-style='digit' -# thermal-fahrenheit-unit=false diff --git a/.local/bin/dconf-verify b/.local/bin/dconf-verify index ec26818..1efbe58 100755 --- a/.local/bin/dconf-verify +++ b/.local/bin/dconf-verify @@ -7,7 +7,7 @@ set -eu # Keep in sync with the `RESET_PATHS` in ~/.local/bin/gnome-restore # (Note: The `$FILTER` below is a bit more generic than the `RESET_PATHS`) -FILTER='^(org/gnome/|org/gtk/|org/freedesktop/(ibus|tracker)/|ca/desrt/|system/)' +FILTER='^(org/gnome/|org/gtk/|desktop/ibus/|org/freedesktop/tracker/|ca/desrt/|system/)' GNOME_CFG_DIR="${XDG_CONFIG_HOME:-$HOME/.config}/gnome-settings"