aboutsummaryrefslogtreecommitdiff
path: root/editors/code/src/installation
diff options
context:
space:
mode:
authorVeetaha <[email protected]>2020-02-16 01:08:36 +0000
committerVeetaha <[email protected]>2020-02-16 01:41:39 +0000
commit8533fc437b7619e1c289fa7913fdafda533903b8 (patch)
tree350fb032042efde63e8763456df120efe71a5040 /editors/code/src/installation
parentd9767727168c68b4ecf930c9dab5a950c0be8e7b (diff)
vscode: add version and storage parameters to github binary source
Diffstat (limited to 'editors/code/src/installation')
-rw-r--r--editors/code/src/installation/interfaces.ts13
1 files changed, 13 insertions, 0 deletions
diff --git a/editors/code/src/installation/interfaces.ts b/editors/code/src/installation/interfaces.ts
index 93ea577d4..e40839e4b 100644
--- a/editors/code/src/installation/interfaces.ts
+++ b/editors/code/src/installation/interfaces.ts
@@ -1,3 +1,5 @@
1import * as vscode from "vscode";
2
1export interface GithubRepo { 3export interface GithubRepo {
2 name: string; 4 name: string;
3 owner: string; 5 owner: string;
@@ -50,6 +52,17 @@ export namespace BinarySource {
50 * and in local `.dir`. 52 * and in local `.dir`.
51 */ 53 */
52 file: string; 54 file: string;
55
56 /**
57 * Tag of github release that denotes a version required by this extension.
58 */
59 version: string;
60
61 /**
62 * Object that provides `get()/update()` operations to store metadata
63 * about the actual binary, e.g. its actual version.
64 */
65 storage: vscode.Memento;
53 } 66 }
54 67
55} 68}