@@ -16,9 +16,28 @@ declare global {
16
16
}
17
17
18
18
export interface ServerParsedArgs {
19
- auth : AuthType ;
19
+ //#region
20
+ auth ?: AuthType ;
21
+ 'ignore-last-opened' ?: boolean ;
22
+ //#endregion
23
+
20
24
port ?: string ;
25
+ 'pick-port' ?: string ;
26
+ /**
27
+ * @deprecated use `connection-token` instead
28
+ */
21
29
connectionToken ?: string ;
30
+ /**
31
+ * A secret token that must be provided by the web client with all requests.
32
+ * Use only `[0-9A-Za-z\-]`.
33
+ *
34
+ * By default, a UUID will be generated every time the server starts up.
35
+ *
36
+ * If the server is running on a multi-user system, then consider
37
+ * using `--connection-secret` which has the advantage that the token cannot
38
+ * be seen by other users using `ps` or similar commands.
39
+ */
40
+ 'connection-token' ?: string ;
22
41
/**
23
42
* A path to a filename which will be read on startup.
24
43
* Consider placing this file in a folder readable only by the same user (a `chmod 0700` directory).
@@ -50,7 +69,7 @@ declare global {
50
69
'list-extensions' ?: boolean ;
51
70
'locate-extension' ?: string [ ] ;
52
71
'show-versions' ?: boolean ;
53
- category ?: string ;
72
+ ' category' ?: string ;
54
73
55
74
'force-disable-user-env' ?: boolean ;
56
75
'use-host-proxy' ?: string ;
@@ -69,8 +88,14 @@ declare global {
69
88
'web-user-data-dir' ?: string ;
70
89
'enable-sync' ?: boolean ;
71
90
'github-auth' ?: string ;
72
- log ?: string ;
73
- logsPath ?: string ;
91
+ 'log' ?: string ;
92
+ 'logsPath' ?: string ;
93
+
94
+ // server cli
95
+ help : boolean ;
96
+ version : boolean ;
97
+
98
+ 'accept-server-license-terms' : boolean ;
74
99
75
100
_ : string [ ] ;
76
101
}
0 commit comments