#!/usr/bin/env bash

set -xe

# Delete vagrant user
sudo userdel -r -f vagrant

# Free space on disk
cd ~/p4tools/protobuf && make clean
cd ~/p4tools/grpc && make clean
cd ~/p4tools/bmv2 && make clean
cd ~/p4tools/bmv2/targets && make clean
cd ~/p4tools/p4runtime && make clean
rm -rf ~/p4tools/p4c/build

cat /dev/null > ~/.bash_history