cli option to launch a specific profile

This commit is contained in:
Eugene Pankov
2018-12-16 23:13:14 +01:00
parent fe75aab724
commit 1da7c85973
3 changed files with 20 additions and 0 deletions

View File

@@ -164,6 +164,7 @@ export default class TerminalModule {
}
}
})
hostApp.cliOpenDirectory$.subscribe(async directory => {
if (await fs.exists(directory)) {
if ((await fs.stat(directory)).isDirectory()) {
@@ -172,6 +173,7 @@ export default class TerminalModule {
}
}
})
hostApp.cliRunCommand$.subscribe(async command => {
terminal.openTab({
id: '',
@@ -180,6 +182,7 @@ export default class TerminalModule {
}, null, true)
hostApp.bringToFront()
})
hostApp.cliPaste$.subscribe(text => {
if (app.activeTab instanceof TerminalTabComponent && app.activeTab.session) {
(app.activeTab as TerminalTabComponent).sendInput(text)
@@ -187,6 +190,16 @@ export default class TerminalModule {
}
})
hostApp.cliOpenProfile$.subscribe(async profileName => {
let profile = config.store.terminal.profiles.find(x => x.name === profileName)
if (!profile) {
console.error('Requested profile', profileName, 'not found')
return
}
terminal.openTabWithOptions(profile.sessionOptions)
hostApp.bringToFront()
})
dockMenu.update()
}
}