From 0364f1e06c72d3077dee715e06445b96b4de655c Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Wed, 5 Jul 2017 18:10:13 -0400 Subject: add user to desktop groups probably unncessary, but.. --- joeyconfig.hs | 1 + 1 file changed, 1 insertion(+) (limited to 'joeyconfig.hs') diff --git a/joeyconfig.hs b/joeyconfig.hs index bade7c0d..21617581 100644 --- a/joeyconfig.hs +++ b/joeyconfig.hs @@ -116,6 +116,7 @@ demo = host "demo" $ props & Grub.installed PC & bootstrappedFrom GitRepoOutsideChroot & User.accountFor user + & User.hasDesktopGroups user & root `User.hasInsecurePassword` "debian" & user `User.hasInsecurePassword` "debian" & XFCE.installedMin -- cgit v1.2.3