From f19cac4270542799e22efe6f4b9d40bc629357f3 Mon Sep 17 00:00:00 2001 From: Sage Vaillancourt Date: Mon, 19 Feb 2024 00:28:03 -0500 Subject: [PATCH] Ignore gtk-theme Gnome 43 doesn't apply the dark theme to its terminal on Debian. This theme may be overridden locally, but that override should not be shared. --- fake_home/.zshrc | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/fake_home/.zshrc b/fake_home/.zshrc index 9ed03a6..2a75d02 100644 --- a/fake_home/.zshrc +++ b/fake_home/.zshrc @@ -77,7 +77,8 @@ source ~/.zsh_local function dconf-dump { local ignore_section=false - dconf dump / | while read -r line; do + # Ignores certain values/sections that shouldn't be synced + dconf dump / | grep -v "gtk-theme='" | while read -r line; do if [[ "$line" == "[org/gnome/desktop/background]" ]] || [[ "$line" == "[org/gnome/shell/extensions/gsconnect"* ]]; then ignore_section=true elif [[ "$line" == "["* ]]; then