fix the pull command

Author: CleoQc

install_script_tools.sh

@@ -20,15 +20,15 @@ fi
 # go into $DEXTER
 cd $DEXTER
 
-# check if lib exists, if not create it
+# check if /home/pi/Dexter/lib exists, if not create it
 if [ ! -d $LIB ] ; then
 	mkdir $LIB
 fi
 
 # check if /home/pi/Dexter/lib/Dexter exists
 # if yes refresh the folder
 # if not, clone the folder
-if [ ! -d $DEXTER ] ; then
+if [ -d $DEXTER ] ; then
 	cd $DEXTER
 	sudo git pull
 else