fixed default profile names

This commit is contained in:
Eugene Pankov
2021-07-04 13:47:54 +02:00
parent 26e2c60265
commit a71d9c0727

View File

@@ -24,8 +24,7 @@ export class TerminalConfigProvider extends ConfigProvider {
platformDefaults = { platformDefaults = {
[Platform.macOS]: { [Platform.macOS]: {
terminal: { terminal: {
shell: 'default', profile: 'local:default',
profile: 'local:user-default',
}, },
hotkeys: { hotkeys: {
'new-tab': [ 'new-tab': [
@@ -35,7 +34,6 @@ export class TerminalConfigProvider extends ConfigProvider {
}, },
[Platform.Windows]: { [Platform.Windows]: {
terminal: { terminal: {
shell: 'clink',
profile: 'local:cmd-clink', profile: 'local:cmd-clink',
}, },
hotkeys: { hotkeys: {
@@ -46,8 +44,7 @@ export class TerminalConfigProvider extends ConfigProvider {
}, },
[Platform.Linux]: { [Platform.Linux]: {
terminal: { terminal: {
shell: 'default', profile: 'local:default',
profile: 'local:user-default',
}, },
hotkeys: { hotkeys: {
'new-tab': [ 'new-tab': [