some debugging and error correction

[fdroidserver.git] / Vagrantfile

diff --git a/Vagrantfile b/Vagrantfile
index 4c050170402ad39b118b26a8de3dcda774182101..1d8dc2578ccb79f00a1f7c7d37ad0ead167c7b00 100644 (file)
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -7,6 +7,8 @@ Vagrant.configure("2") do |config|
   config.disksize.size = '60GB'
 
   config.vm.provision "shell", inline: <<-SHELL
+    set -e
+    sudo cat /proc/partitions
     sudo apt-get update && sudo apt-get install -y parted
     sudo swapoff /dev/sda5 # disable swap so we can then remove the partition
     sudo parted /dev/sda rm 5 rm 2 # remove swap and extended partition