diff options
author | Aleksey Kladov <[email protected]> | 2020-03-17 11:44:31 +0000 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2020-03-19 08:04:59 +0000 |
commit | fb6e655de8a44c65275ad45a27bf5bd684670ba0 (patch) | |
tree | 9c307ac69c8fc59465ee2fb6f9a8a619fc064167 /.vscode/launch.json | |
parent | f0a1b64d7ee3baa7ccf980b35b85f0a4a3b85b1a (diff) |
Rewrite auto-update
Everything now happens in main.ts, in the bootstrap family of
functions. The current flow is:
* check everything only on extension installation.
* if the user is on nightly channel, try to download the nightly
extension and reload.
* when we install nightly extension, we persist its release id, so
that we can check if the current release is different.
* if server binary was not downloaded by the current version of the
extension, redownload it (we persist the version of ext that
downloaded the server).
Diffstat (limited to '.vscode/launch.json')
-rw-r--r-- | .vscode/launch.json | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.vscode/launch.json b/.vscode/launch.json index 2e5c61735..ca70fb209 100644 --- a/.vscode/launch.json +++ b/.vscode/launch.json | |||
@@ -16,6 +16,7 @@ | |||
16 | "request": "launch", | 16 | "request": "launch", |
17 | "runtimeExecutable": "${execPath}", | 17 | "runtimeExecutable": "${execPath}", |
18 | "args": [ | 18 | "args": [ |
19 | // "--user-data-dir=${workspaceFolder}/target/code", | ||
19 | "--disable-extensions", | 20 | "--disable-extensions", |
20 | "--extensionDevelopmentPath=${workspaceFolder}/editors/code" | 21 | "--extensionDevelopmentPath=${workspaceFolder}/editors/code" |
21 | ], | 22 | ], |