New P4 dev and tutorial VM with Ubuntu 18.04
Change-Id: Iacf2ca8f8467dc91e696ace5ed30412f7869110a
(cherry picked from commit 2b8bcbcd3d0e3e66ee2bc681f0f1dfbb0e2a218f)
diff --git a/tools/dev/p4vm/ova-cleanup.sh b/tools/dev/p4vm/ova-cleanup.sh
new file mode 100755
index 0000000..bcde882
--- /dev/null
+++ b/tools/dev/p4vm/ova-cleanup.sh
@@ -0,0 +1,27 @@
+#!/usr/bin/env bash
+
+set -xe
+
+# Delete vagrant user
+sudo userdel -r -f vagrant
+
+# Free space on disk
+sudo rm -rf ~/p4tools
+sudo rm -rf ~/quagga
+sudo rm -rf ~/mininet
+sudo rm -rf ~/.mininet_history
+sudo rm -rf ~/.viminfo
+sudo rm -rf ~/.ssh
+sudo rm -rf ~/.cache/pip
+
+sudo apt-get clean
+sudo apt-get -y autoremove
+
+sudo rm -rf /tmp/*
+
+# Zerofill virtual hd to save space when exporting
+time sudo dd if=/dev/zero of=/tmp/zero bs=1M || true
+sync ; sleep 1 ; sync ; sudo rm -f /tmp/zero
+
+history -c
+rm -f ~/.bash_history