blob: dcfecc99caafd571a34547b27b849a8c750943c6 [file] [log] [blame]
Carmelo Casconed6615072017-12-15 00:53:43 -08001#!/usr/bin/env bash
2
3set -xe
4
5# Delete vagrant user
6sudo userdel -r -f vagrant
7
8# Free space on disk
9cd ~/p4tools/protobuf && make clean
10cd ~/p4tools/grpc && make clean
11cd ~/p4tools/bmv2 && make clean
12cd ~/p4tools/bmv2/targets && make clean
13cd ~/p4tools/p4runtime && make clean
14rm -rf ~/p4tools/p4c/build
Carmelo Casconeb7e618d2018-01-12 18:31:33 -080015rm -rf ~/p4tools/libyang/build
16rm -rf ~/p4tools/sysrepo/build
Carmelo Casconed6615072017-12-15 00:53:43 -080017
18cat /dev/null > ~/.bash_history
Carmelo Casconeb7e618d2018-01-12 18:31:33 -080019
Carmelo Cascone76b3ee62018-01-30 15:45:27 -080020sudo poweroff