diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-01-04 15:41:56 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2021-01-04 15:41:56 +0000 |
commit | b3b1f43ff9c68b0fca6d7dd151efa0d771af2475 (patch) | |
tree | f6d415c9964d89989eb48420158c9537fdf986ff /editors/code/src | |
parent | 6f8af890ed9e3998b034c52157baf21db2a78227 (diff) | |
parent | 01a5b8356292e9c840b79ac94862a608196763b4 (diff) |
Merge #7156
7156: Rename extension config r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors/code/src')
-rw-r--r-- | editors/code/src/config.ts | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts index fe9f3b4a8..ebe4de1ea 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts | |||
@@ -93,7 +93,9 @@ export class Config { | |||
93 | return this.cfg.get<T>(path)!; | 93 | return this.cfg.get<T>(path)!; |
94 | } | 94 | } |
95 | 95 | ||
96 | get serverPath() { return this.get<null | string>("serverPath"); } | 96 | get serverPath() { |
97 | return this.get<null | string>("server.path") ?? this.get<null | string>("serverPath"); | ||
98 | } | ||
97 | get serverExtraEnv() { return this.get<Env | null>("server.extraEnv") ?? {}; } | 99 | get serverExtraEnv() { return this.get<Env | null>("server.extraEnv") ?? {}; } |
98 | get channel() { return this.get<UpdatesChannel>("updates.channel"); } | 100 | get channel() { return this.get<UpdatesChannel>("updates.channel"); } |
99 | get askBeforeDownload() { return this.get<boolean>("updates.askBeforeDownload"); } | 101 | get askBeforeDownload() { return this.get<boolean>("updates.askBeforeDownload"); } |