#!/usr/bin/env bash

set -xe

# Delete vagrant user
sudo userdel -r -f vagrant

# Free space on disk
rm -rf ~/p4tools/protobuf
rm -rf ~/p4tools/grpc
rm -rf ~/p4tools/bmv2
rm -rf ~/p4tools/p4runtime
rm -rf ~/p4tools/p4c
rm -rf ~/p4tools/libyang
rm -rf ~/p4tools/sysrepo

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