Skip to content

Commit 7fd177d

Browse files
committed
Remove array from autoamtion profile schema
Fixes microsoft#138290
1 parent 1af9ac1 commit 7fd177d

File tree

1 file changed

+18
-3
lines changed

1 file changed

+18
-3
lines changed

src/vs/platform/terminal/common/terminalPlatformConfiguration.ts

Lines changed: 18 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -70,6 +70,21 @@ const terminalProfileSchema: IJSONSchema = {
7070
}
7171
};
7272

73+
const terminalAutomationProfileSchema: IJSONSchema = {
74+
type: 'object',
75+
required: ['path'],
76+
properties: {
77+
path: {
78+
description: localize('terminalAutomationProfile.path', 'A single path to a shell executable.'),
79+
type: ['string'],
80+
items: {
81+
type: 'string'
82+
}
83+
},
84+
...terminalProfileBaseProperties
85+
}
86+
};
87+
7388
const shellDeprecationMessageLinux = localize('terminal.integrated.shell.linux.deprecation', "This is deprecated, the new recommended way to configure your default shell is by creating a terminal profile in {0} and setting its profile name as the default in {1}. This will currently take priority over the new profiles settings but that will change in the future.", '`#terminal.integrated.profiles.linux#`', '`#terminal.integrated.defaultProfile.linux#`');
7489
const shellDeprecationMessageOsx = localize('terminal.integrated.shell.osx.deprecation', "This is deprecated, the new recommended way to configure your default shell is by creating a terminal profile in {0} and setting its profile name as the default in {1}. This will currently take priority over the new profiles settings but that will change in the future.", '`#terminal.integrated.profiles.osx#`', '`#terminal.integrated.defaultProfile.osx#`');
7590
const shellDeprecationMessageWindows = localize('terminal.integrated.shell.windows.deprecation', "This is deprecated, the new recommended way to configure your default shell is by creating a terminal profile in {0} and setting its profile name as the default in {1}. This will currently take priority over the new profiles settings but that will change in the future.", '`#terminal.integrated.profiles.windows#`', '`#terminal.integrated.defaultProfile.windows#`');
@@ -120,7 +135,7 @@ const terminalPlatformConfiguration: IConfigurationNode = {
120135
default: null,
121136
'anyOf': [
122137
{ type: 'null' },
123-
terminalProfileSchema
138+
terminalAutomationProfileSchema
124139
],
125140
defaultSnippets: [
126141
{
@@ -138,7 +153,7 @@ const terminalPlatformConfiguration: IConfigurationNode = {
138153
default: null,
139154
'anyOf': [
140155
{ type: 'null' },
141-
terminalProfileSchema
156+
terminalAutomationProfileSchema
142157
],
143158
defaultSnippets: [
144159
{
@@ -156,7 +171,7 @@ const terminalPlatformConfiguration: IConfigurationNode = {
156171
default: null,
157172
'anyOf': [
158173
{ type: 'null' },
159-
terminalProfileSchema
174+
terminalAutomationProfileSchema
160175
],
161176
defaultSnippets: [
162177
{

0 commit comments

Comments
 (0)