2023-08-20 15:34:53 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
|
|
# usage: import-gsettings
|
|
|
|
|
config="${XDG_CONFIG_HOME:-$HOME/.config}/gtk-3.0/settings.ini"
|
|
|
|
|
if [ ! -f "$config" ]; then exit 1; fi
|
|
|
|
|
|
|
|
|
|
gnome_schema="org.gnome.desktop.interface"
|
|
|
|
|
gtk_theme="$(grep 'gtk-theme-name' "$config" | sed 's/.*\s*=\s*//')"
|
|
|
|
|
icon_theme="$(grep 'gtk-icon-theme-name' "$config" | sed 's/.*\s*=\s*//')"
|
|
|
|
|
cursor_theme="$(grep 'gtk-cursor-theme-name' "$config" | sed 's/.*\s*=\s*//')"
|
|
|
|
|
font_name="$(grep 'gtk-font-name' "$config" | sed 's/.*\s*=\s*//')"
|
2023-09-14 12:34:08 +00:00
|
|
|
|
2023-08-20 15:34:53 +00:00
|
|
|
gsettings set "$gnome_schema" gtk-theme "$gtk_theme"
|
|
|
|
|
gsettings set "$gnome_schema" icon-theme "$icon_theme"
|
|
|
|
|
gsettings set "$gnome_schema" cursor-theme "$cursor_theme"
|
|
|
|
|
gsettings set "$gnome_schema" font-name "$font_name"
|
2023-09-14 12:34:08 +00:00
|
|
|
|
2023-09-18 19:49:17 +00:00
|
|
|
gsettings set org.gnome.desktop.interface color-scheme prefer-dark
|
