#339: reload config after settings have changed (#341)

devonfw · Jan 14, 2020 · d0bbabb · d0bbabb
1 parent 63a1792
commit d0bbabb
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/scripts/src/main/resources/scripts/command/ide b/scripts/src/main/resources/scripts/command/ide
@@ -56,6 +56,11 @@ function doUpdateSettings() {
       SETTINGS_URL="https://github.com/devonfw/ide-settings.git"
     fi
     doInstall "${SETTINGS_PATH}" "${SETTINGS_URL}" "devonfw-ide-settings"
+    if [ ${?} = 0 ]
+    then
+      # shellcheck source=scripts/environment-project
+      source "${DEVON_IDE_HOME}/scripts/environment-project"
+    fi
     if [ ! -f "${SETTINGS_PATH}/devon/conf/devon.properties" ]
     then
       doFail "Installation of settings failed!\nFile not found: ${SETTINGS_PATH}/devon/conf/devon.properties"