search

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
76 stars 20 forks source link

feat: add option to skip restarting gnome shell #30

Closed Aidenwebb closed 1 year ago

Aidenwebb commented 1 year ago

Fixes #29

Issue #25 introduced a hard-exit of the gnome desktop environment/shell when running the playbook against localhost.

This pull request adds a default variable and conditional to allow the user to skip the gnome shell restart.

PeterMosmans commented 1 year ago

Thanks a lot for the contribution! Please give me a few days to check the code before merging.

PeterMosmans commented 1 year ago

Thanks for the PR, apologies it took so long :)