From 5e685dac5f5d837c620c6ec519dcd2dc142720c8 Mon Sep 17 00:00:00 2001 From: Simon Date: Tue, 22 Jan 2019 14:42:41 -0800 Subject: [PATCH] fix: update Arduino Script - current has issues rebuilding the directories when converting back to the original structure. This fix remedies that. --- extras/ARDUINO_IDE.sh | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/extras/ARDUINO_IDE.sh b/extras/ARDUINO_IDE.sh index c4139ba6..9602c2e0 100644 --- a/extras/ARDUINO_IDE.sh +++ b/extras/ARDUINO_IDE.sh @@ -5,7 +5,7 @@ # # For the full copyright and license information, please view the LICENSE # file that was distributed with this source code. - + # ######### # This script extends support to the Arduino IDE. # @@ -139,8 +139,8 @@ if [[ -d ${INCLUDE_DIR} ]]; then sleep 1 echo -e "Backing up and removing the 'lib' directory.\n" - mv ${SRC_LIB_DIR} ${EXTRAS_BACKUP_DIR} - echo + mv ${SRC_LIB_DIR}/* ${EXTRAS_BACKUP_DIR} + echo sleep 1 echo -e "Removing old directories 🗑\n" @@ -223,8 +223,9 @@ else sleep 1 echo -e "Restoring the 'lib' directory.\n" - mv ${EXTRAS_BACKUP_DIR}/lib ${SRC_DIR} - echo + mkdir ${SRC_DIR}/lib + mv ${EXTRAS_BACKUP_DIR}/* ${SRC_DIR}/lib + echo sleep 1 echo -e "Removing old directories 🗑\n"