Add option to install shell extensions for multiple users

2021-09-12 22:54:52 +02:00
parent fc39b3006b
commit e3614e2572
6 changed files with 31 additions and 8 deletions
--- a/roles/home/defaults/main.yml
+++ b/roles/home/defaults/main.yml
@@ -0,0 +1,3 @@
+---
+home_place_dotfiles: false
+home_configure_gnome: true