summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorlassulus <lass@aidsballs.de>2015-10-18 01:05:49 +0200
committerlassulus <lass@aidsballs.de>2015-10-18 01:05:49 +0200
commitb4326e31444e1dab51d7c4469f43d37dab2d73d5 (patch)
tree8e9bdb8bed2ceac0bff045f346e375c1f9ee3911
parent1022e82c0d71ecb072c60f16bfc6475c23bcc3e4 (diff)
krebs 4 infest: umount /mnt/boot prior to /boot
-rw-r--r--krebs/4lib/infest/finalize.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/krebs/4lib/infest/finalize.sh b/krebs/4lib/infest/finalize.sh
index 0039960c5..94b13e0be 100644
--- a/krebs/4lib/infest/finalize.sh
+++ b/krebs/4lib/infest/finalize.sh
@@ -3,8 +3,8 @@ set -eux
{
umount /mnt/nix
umount /mnt/root
- umount /boot || :
umount /mnt/boot
+ umount /boot || :
umount /mnt
coreutils_path=$(set +f; for i in /nix/store/*coreutils*/bin; do :; done; echo $i)