opensource/code-server
1
0
Fork 0
mirror of https://github.com/coder/code-server.git synced 2025-07-31 05:54:15 +08:00
Code Issues Packages Projects Releases Wiki Activity

Make updating work for both binary and loose releases

Browse Source
This commit is contained in:
Asher
2020-02-20 15:50:01 -06:00
parent 815dc06118
commit 319cd3f7ab
5 changed files with 357 additions and 29 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
src/node/settings.ts
View File

@ -40,20 +40,23 @@ export class SettingsProvider<T> {
}
}
/**
* Global code-server settings.
*/
export interface CoderSettings {
lastVisited: {
url: string
workspace: boolean
}
export interface UpdateSettings {
update: {
checked: number
version: string
}
}
/**
* Global code-server settings.
*/
export interface CoderSettings extends UpdateSettings {
lastVisited: {
url: string
workspace: boolean
}
}
/**
* Global code-server settings file.
*/