From e2e58d6c891d5cf73dd70ca8fe8754ffabf86eb1 Mon Sep 17 00:00:00 2001
From: fdroid on solaria <fdroid@solaria.relativity.greenend.org.uk>
Date: Sat, 5 May 2018 12:28:37 +0100
Subject: [PATCH] more debugging

---
 Vagrantfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Vagrantfile b/Vagrantfile
index 1d8dc257..9f70fe03 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -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
-- 
2.30.2