[jb] preserve indexes between workspace restarts

by moving default config and system directories under /workspace
gitpod-io · Feb 11, 2022 · 97a8d30 · 97a8d30
1 parent c49b6f7
commit 97a8d30
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 0 deletions.
diff --git a/.idea/compiler.xml b/.idea/compiler.xml
diff --git a/components/ide/jetbrains/image/startup.sh b/components/ide/jetbrains/image/startup.sh
@@ -20,7 +20,13 @@ if [ "${SUPERVISOR_DEBUG_ENABLE+}" = "true" ]; then
   JAVA_TOOL_OPTIONS="$JAVA_TOOL_OPTIONS -agentlib:jdwp=transport=dt_socket,server=y,suspend=n,address=*:0"
 fi
 
+# Set default config and system directories under /workspace to preserve between restarts
+export IJ_HOST_CONFIG_BASE_DIR=/workspace/.config/JetBrains
+export IJ_HOST_SYSTEM_BASE_DIR=/workspace/.cache/JetBrains
+
+# Enable host status endpoint
 export CWM_HOST_STATUS_OVER_HTTP_TOKEN=gitpod
+
 /ide-desktop/backend/bin/remote-dev-server.sh run "$GITPOD_REPO_ROOT"
 
 echo "Desktop IDE startup script exited"