Cornelius Mika a9d9fb5d75 home-manager: exit with an error on build failure ... Because 'set -e' has no effect on commands that run in an if condition, the script was always exiting with no error when 'doBuild' failed. As a bonus, $wrkdir is now always removed after building.		2017-08-20 09:50:37 +02:00
..
default.nix	home-manager: add config file attribute	2017-08-18 21:37:07 +02:00
home-manager	home-manager: exit with an error on build failure	2017-08-20 09:50:37 +02:00