PeterMosmans / ansible-role-customize-gnome

Ansible role that customizes the GNOME desktop. It installs fonts and GNOME extensions from packages or zip files, copies files like desktop backgrounds and GNOME shell tweaks to a host, and modifies user settings.
GNU General Public License v3.0
74 stars 20 forks source link

fix: create list of extensions used for comparison #34

Closed lordtaytertot closed 11 months ago

PeterMosmans commented 11 months ago

Thank you so much for the pr @lordtaytertot , merged - I'll create and publish a new version