Don't move /boot it might be a mounted partition

icetan · Apr 9, 2020 · 77d0f2d · 77d0f2d
1 parent 663114a
commit 77d0f2d
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/lib/infect b/lib/infect
@@ -20,8 +20,12 @@ infect() {
   echo etc/resolv.conf            >> /etc/NIXOS_LUSTRATE
   echo root/.nix-defexpr/channels >> /etc/NIXOS_LUSTRATE
 
-  rm -rf /boot.bak
-  mv -v /boot /boot.bak
+  if mount | grep -q "on /boot "; then
+    cp -vr /boot /boot.bak
+    umount /boot
+  else
+    mv -v /boot /boot.bak
+  fi
 
   /nix/var/nix/profiles/system/bin/switch-to-configuration boot
 }