#363: do git pull of settings on ide update settings (#367)

devonfw · Mar 17, 2020 · 00f7587 · 00f7587
1 parent a5cf4db
commit 00f7587
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/scripts/src/main/resources/scripts/command/ide b/scripts/src/main/resources/scripts/command/ide
@@ -73,6 +73,10 @@ function doUpdateSettings() {
       git commit -m "Initial settings downloaded from ${SETTINGS_URL}"
       cd - || exit 255
     fi
+  else
+    doGitPullOrClone "${SETTINGS_PATH}"
+    # shellcheck source=scripts/environment-project
+    source "${DEVON_IDE_HOME}/scripts/environment-project"
   fi
 }