| #!/usr/bin/env bash | |
| set -xe | |
| # 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 | |
| # Delete vagrant user | |
| sudo userdel -r -f vagrant | |