aboutsummaryrefslogtreecommitdiff
path: root/editors/code/src/persistent_state.ts
Commit message (Collapse)AuthorAgeFilesLines
* Style fixKirill Bulatov2021-05-231-4/+1
|
* Better releaseId namingKirill Bulatov2021-05-231-5/+5
|
* Remove nightly release id from local storage for stable extensionsKirill Bulatov2021-05-231-0/+3
|
* Allow to use a Github Auth token for fetching releasesMatthias Einwag2020-09-231-0/+11
| | | | | | | | | | | | | | | | | | | This change allows to use a authorization token provided by Github in order to fetch metadata for a RA release. Using an authorization token prevents to get rate-limited in environments where lots of RA users use a shared client IP (e.g. behind a company NAT). The auth token is stored in `ExtensionContext.globalState`. As far as I could observe through testing with a local WSL2 environment that state is synced between an extension installed locally and a remote version. The change provides no explicit command to query for an auth token. However in case a download fails it will provide a retry option as well as an option to enter the auth token. This should be more discoverable for most users. Closes #3688
* Improve client logging (use output channel and more log levels)Veetaha2020-07-051-1/+1
|
* Rewrite auto-updateAleksey Kladov2020-03-191-36/+28
| | | | | | | | | | | | | | 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).
* Separate persistent mutable state from configAleksey Kladov2020-03-161-0/+49
That way, we clearly see which things are not change, and we also clearly see which things are persistent.