#416: create meta file in the users directory on setup (#429)

devonfw · Jul 7, 2020 · b756cf8 · b756cf8
1 parent ccb553d
commit b756cf8
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/scripts/src/main/resources/scripts/command/ide b/scripts/src/main/resources/scripts/command/ide
@@ -3,6 +3,19 @@
 source "$(dirname "${0}")"/../functions
 DEVON_IDE_REPO_URL="https://repo.maven.apache.org/maven2/com/devonfw/tools/ide"
 
+function doUpdateMetaFile() {
+  local ide_paths="${DEVON_HOME_DIR}/.devon/ide-paths"
+  if [ -f "${ide_paths}" ]
+  then
+    if ! grep -q "${DEVON_IDE_HOME}" "${ide_paths}"
+	then
+      echo "${DEVON_IDE_HOME}" >> "${ide_paths}"
+	fi
+  else
+    echo "${DEVON_IDE_HOME}" > "${ide_paths}"
+  fi
+}
+
 function doUpdateScripts() {
   # shellcheck disable=SC2007,SC2154
   doUpgradeMavenArtifact "${DEVON_IDE_HOME}" "${DEVON_IDE_REPO_URL}" "devonfw-ide-scripts" "${target_version}" ".tar.gz" "$[devon_ide_version]"
@@ -149,6 +162,7 @@ function doUpdateCli() {
 
 function doSetup() {
   doUpdateCli
+  doUpdateMetaFile
   doUpdateSettings "${@}"
   if [ ! -f "${SETTINGS_PATH}/devon.properties" ]
   then