diff --git a/util/install.sh b/util/install.sh index d16fd90..f0e2e3c 100755 --- a/util/install.sh +++ b/util/install.sh @@ -285,18 +285,18 @@ function vm_clean { # Remove sensistive files history -c - rm ~/.ssh/id_rsa* + rm -f ~/.ssh/id_rsa* ~/.ssh/known_hosts sudo rm ~/.ssh/authorized_keys2 # Remove Mininet files - sudo rm -rf ~/mininet - sudo rm /lib/modules/python2.5/site-packages/mininet* - sudo rm /usr/bin/mnexec + sudo rm -f /lib/modules/python2.5/site-packages/mininet* + sudo rm -f /usr/bin/mnexec # Clear git changes git config --global user.name "None" git config --global user.email "None" + sudo rm -rf ~/mininet } function usage {