Mirrors/home-manager
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

home-manager: exit with an error on build failure

Browse source 
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.
This commit is contained in:
Cornelius Mika 2017-08-17 10:16:25 +02:00
parent ffbc7e723d
commit 02f0d92df7
1 changed files with 5 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
home-manager/home-manager
View file

@ -91,11 +91,13 @@ function doSwitch() {
local wrkdir local wrkdir
wrkdir="$(mktemp -d)" wrkdir="$(mktemp -d)"
if doBuild "$wrkdir/generation" ; then local exitCode=0
"$wrkdir/generation/activate" doBuild "$wrkdir/generation" && "$wrkdir/generation/activate" || exitCode=1
fi
# Because the previous command never fails, the script keeps running and
# $wrkdir is always removed.
rm -r "$wrkdir" rm -r "$wrkdir"
return $exitCode
} }
function doListGens() { function doListGens() {