dot/scripts/reload_gtk_theme
2024-05-04 01:15:19 +01:00

5 lines
193 B
Bash
Executable file

#!/bin/sh
theme=$(gsettings get org.gnome.desktop.interface gtk-theme)
gsettings set org.gnome.desktop.interface gtk-theme ''
sleep 1
gsettings set org.gnome.desktop.interface gtk-theme $theme