#2174: store VSCode user-data under $IDE_HOME/.ide/vscode/<workspace>/config#2201
Open
quando632 wants to merge 6 commits into
Open
#2174: store VSCode user-data under $IDE_HOME/.ide/vscode/<workspace>/config#2201quando632 wants to merge 6 commits into
quando632 wants to merge 6 commits into
Conversation
…kspace>/config + migration
Collaborator
Coverage Report for CI Build 29916747280Coverage increased (+0.04%) to 72.537%Details
Uncovered ChangesNo uncovered changes found. Coverage Regressions9 previously-covered lines in 2 files lost coverage.
Coverage Stats
💛 - Coveralls |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This PR fixes #2174 (part of #2142)
Moves VSCode user-data out of the workspace into the dedicated
$IDE_HOME/.ide/vscode/«workspace»/configfolder so workspaces stay clean and independent of the IDE.Implemented changes:
Vscode.configureToolArgsnow points--user-data-dirtogetIdeMetadataPath().resolve("config")instead of«workspace»/.vscode/.userdata. The folder VSCode opens (getWorkspacePath()) is unchanged.Mig202608001(target2026.08.001) moves any existing.vscode/.userdataof every workspace to the new location. It is idempotent: skips workspaces already migrated and skips (with a warning, no overwrite) if a target already exists. Registered inIdeMigrator.VscodeTest.testConfigureToolArgsUsesIdeMetadataPathForUserData,Mig202608001Test(move, no-op, and target-exists cases).Testing instructions
cd cli && mvn -Dtest=VscodeTest,Mig202608001Test,IdeMigratorTest test— all pass.$IDE_HOME/workspaces/main/.vscode/.userdata/state.json, runide update, verify it moved to$IDE_HOME/.ide/vscode/main/config/state.jsonand the workspace no longer contains.vscode/.userdata.Checklist for this PR
mvn clean testlocally all tests pass and build is successful (ran the affected tests)#«issue-id»: «brief summary»In Progressand assigned to youCoordination note
IdeMigratorrequires strictly ascending migration versions. The JetBrains subtask (#2173) also adds a migration — whichever merges second must adjust its version to stay ascending.