diff options
Diffstat (limited to 'share')
| -rwxr-xr-x | share/hydractl/provision | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/share/hydractl/provision b/share/hydractl/provision index 455fe88..ca2092e 100755 --- a/share/hydractl/provision +++ b/share/hydractl/provision @@ -73,6 +73,11 @@ if [ "$garbage" == "y" ]; then dd if=/dev/urandom of="$device"1 fi +# Setup mountpoint and make sure it's not mounted due to a failed install. +mkdir -p /tmp/debootstrap +umount /tmp/debootstrap/proc &> /dev/null +umount /tmp/debootstrap/dev &> /dev/null + # Create root device. if [ "$encrypt" == "y" ]; then echo "Creating encrypted root device..." @@ -86,11 +91,6 @@ else install_device="/dev/vg/root" fi -# Setup mountpoint and make sure it's not mounted due to a failed install. -mkdir -p /tmp/debootstrap -umount /tmp/debootstrap/proc &> /dev/null -umount /tmp/debootstrap/dev &> /dev/null - # Initial system install. echo "Installing base system..." mount $install_device /tmp/debootstrap/ |