blob: 3ea45e13bfa130122dce122724ce64f212b936c4 [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
20poweroff