diff options
author | Daniel Imms <2193314+Tyriar@users.noreply.github.com> | 2022-07-19 15:48:38 +0300 |
---|---|---|
committer | Daniel Imms <2193314+Tyriar@users.noreply.github.com> | 2022-07-19 15:48:38 +0300 |
commit | 52414c4084de28025dd4cea6e11a5cd25fb6b392 (patch) | |
tree | 707dd88430b6f705f3b582d4961b54217febc7ad /src | |
parent | 92fd228156aafeb326b23f6604028d342152313b (diff) |
Remove --shell-integration from --help
See #93241
Part of #153921
Diffstat (limited to 'src')
-rw-r--r-- | src/vs/platform/environment/node/argv.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/vs/platform/environment/node/argv.ts b/src/vs/platform/environment/node/argv.ts index 68769c3d547..c3583c85e1a 100644 --- a/src/vs/platform/environment/node/argv.ts +++ b/src/vs/platform/environment/node/argv.ts @@ -50,7 +50,6 @@ export const OPTIONS: OptionDescriptions<Required<NativeParsedArgs>> = { 'waitMarkerFilePath': { type: 'string' }, 'locale': { type: 'string', cat: 'o', args: 'locale', description: localize('locale', "The locale to use (e.g. en-US or zh-TW).") }, 'user-data-dir': { type: 'string', cat: 'o', args: 'dir', description: localize('userDataDir', "Specifies the directory that user data is kept in. Can be used to open multiple distinct instances of Code.") }, - 'shell-integration': { type: 'string', cat: 'o', args: ['bash', 'pwsh', 'zsh'], description: localize('shellIntergation', "Print the shell integration script file path for the specified shell.") }, 'help': { type: 'boolean', cat: 'o', alias: 'h', description: localize('help', "Print usage.") }, 'extensions-dir': { type: 'string', deprecates: ['extensionHomePath'], cat: 'e', args: 'dir', description: localize('extensionHomePath', "Set the root path for extensions.") }, @@ -129,6 +128,7 @@ export const OPTIONS: OptionDescriptions<Required<NativeParsedArgs>> = { 'logsPath': { type: 'string' }, '__enable-file-policy': { type: 'boolean' }, 'editSessionId': { type: 'string' }, + 'shell-integration': { type: 'string', args: ['bash', 'pwsh', 'zsh'] }, // chromium flags 'no-proxy-server': { type: 'boolean' }, |