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.
This commit is contained in:
parent
7390605d65
commit
f19cac4270
|
@ -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
|
||||
|
|
Loading…
Reference in New Issue