diff options
| author | DanielGavin <danielgavin5@hotmail.com> | 2025-08-16 11:27:15 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-08-16 11:27:15 +0200 |
| commit | ea6f799f8aad4fd43ee65a34943e9e6a358a378d (patch) | |
| tree | abc1d7ebb2f4aa8a1c4aaa422bd11a6ba4f354f0 | |
| parent | 3b71481c7b2583dcdca3ca9fd9fcc8e0de22f62b (diff) | |
| parent | d3a4ffbd465f1f959738cc990b1fbe55fea37ddf (diff) | |
Merge pull request #882 from BradLewis/fix/copy-user-olsjson-on-update
Copy the users ols.json to the new folder when updating the binary with vscode
| -rw-r--r-- | editors/vscode/src/extension.ts | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/editors/vscode/src/extension.ts b/editors/vscode/src/extension.ts index 8b05455..4b9ea44 100644 --- a/editors/vscode/src/extension.ts +++ b/editors/vscode/src/extension.ts @@ -426,6 +426,9 @@ async function checkForUpdates(config: Config, state: PersistentState, required: fs.chmod(latestExecutable, 0o755); } + const prevFolder = getDestFolder(config, state.releaseId) + await fs.copyFile(`${prevFolder}/ols.json`, `${latestDestFolder}/ols.json`) + await state.updateServerVersion(config.package.version); await state.updateReleaseId(release.id); await state.updateLastCheck(Date.now()); |