use profiles for everything

This commit is contained in:
Eugene Pankov
2019-05-11 21:28:04 +02:00
parent bc71547d92
commit 48ff7d7d5a
26 changed files with 159 additions and 101 deletions

View File

@@ -65,6 +65,7 @@ export class TerminalConfigProvider extends ConfigProvider {
terminal: {
font: 'Menlo',
shell: 'default',
profile: 'user-default',
},
hotkeys: {
'ctrl-c': ['Ctrl-C'],
@@ -103,6 +104,7 @@ export class TerminalConfigProvider extends ConfigProvider {
terminal: {
font: 'Consolas',
shell: 'clink',
profile: 'cmd-clink',
rightClick: 'paste',
copyOnSelect: true,
},
@@ -143,6 +145,7 @@ export class TerminalConfigProvider extends ConfigProvider {
terminal: {
font: 'Liberation Mono',
shell: 'default',
profile: 'user-default',
},
hotkeys: {
'ctrl-c': ['Ctrl-C'],