chiark / gitweb /
more debugging
authorfdroid on solaria <fdroid@solaria.relativity.greenend.org.uk>
Sat, 5 May 2018 11:28:37 +0000 (12:28 +0100)
committerfdroid on solaria <fdroid@solaria.relativity.greenend.org.uk>
Sat, 5 May 2018 11:28:37 +0000 (12:28 +0100)
Vagrantfile

index 1d8dc2578ccb79f00a1f7c7d37ad0ead167c7b00..9f70fe03ba773da65561c7eca3b044066852574f 100644 (file)
@@ -8,7 +8,7 @@ Vagrant.configure("2") do |config|
 
   config.vm.provision "shell", inline: <<-SHELL
     set -e
-    sudo cat /proc/partitions
+    sudo egrep . /proc/partitions /proc/swaps
     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