dont delete unexisting dir

2019-08-15 22:47:57 -04:00
1 changed files with 1 additions and 1 deletions
--- a/install.sh
+++ b/install.sh
@ -89,7 +89,7 @@ if [ $? -ne 0 ]; then echo -e """$RED""\xe2\x9c\x96"; else echo -e """$GREEN""\x

 # This is a hack, we have to install by hand so lets delete it
 echo "Removing ESP32 cache"
-rm -rf ~/.arduino15/packages/esp32
+[ -d ~/.arduino15/packages/esp32 ] && rm -rf ~/.arduino15/packages/esp32
 echo -n "Current packages list:"
 [ -d ~/.arduino15/packages/ ] && ls ~/.arduino15/packages/