blob: e63c34437b63cebd95c979cca6e0fa8a2a377a2d [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
Carmelo Casconec5569c22018-04-18 10:09:15 +090018sudo apt-get -y autoremove
19
Carmelo Casconed6615072017-12-15 00:53:43 -080020cat /dev/null > ~/.bash_history