Tag: linux

• Making GNOME-Shell plugins save their config