| Carmelo Cascone | d661507 | 2017-12-15 00:53:43 -0800 | [diff] [blame] | 1 | #!/usr/bin/env bash |
| 2 | |
| 3 | set -xe |
| 4 | |
| 5 | # Delete vagrant user |
| 6 | sudo userdel -r -f vagrant |
| 7 | |
| 8 | # Free space on disk |
| 9 | cd ~/p4tools/protobuf && make clean |
| 10 | cd ~/p4tools/grpc && make clean |
| 11 | cd ~/p4tools/bmv2 && make clean |
| 12 | cd ~/p4tools/bmv2/targets && make clean |
| 13 | cd ~/p4tools/p4runtime && make clean |
| 14 | rm -rf ~/p4tools/p4c/build |
| Carmelo Cascone | b7e618d | 2018-01-12 18:31:33 -0800 | [diff] [blame] | 15 | rm -rf ~/p4tools/libyang/build |
| 16 | rm -rf ~/p4tools/sysrepo/build |
| Carmelo Cascone | d661507 | 2017-12-15 00:53:43 -0800 | [diff] [blame] | 17 | |
| 18 | cat /dev/null > ~/.bash_history |
| Carmelo Cascone | b7e618d | 2018-01-12 18:31:33 -0800 | [diff] [blame] | 19 | |
| 20 | poweroff |