Pr/bump #30

Merged
steveej merged 24 commits from pr/bump into master 2019-12-04 18:40:10 +00:00
Showing only changes of commit 6bea703f6d - Show all commits

View file

@ -28,11 +28,11 @@ in rec {
diskUmount = pkgs.writeScript "script" '' diskUmount = pkgs.writeScript "script" ''
#!/usr/bin/env bash #!/usr/bin/env bash
set -xe set -x
sudo umount -R ${mntRootVol} sudo umount -Rl ${mntRootVol}
sudo rmdir ${mntRootVol} sudo rmdir ${mntRootVol}
sudo vgchange -an ${ownLib.disk.volumeGroup diskId} sudo vgchange -an ${ownLib.disk.volumeGroup diskId}
sudo cryptsetup luksClose ${ownLib.disk.luksName diskId} sudo cryptsetup close ${ownLib.disk.luksName diskId}
sync sync
''; '';