hotkeys for specific shells

2025-10-05 14:34:54 +00:00 · 2018-10-12 17:59:22 +02:00
parent cc610e158e
commit 9b6a09129c
10 changed files with 128 additions and 25 deletions
--- a/terminus-terminal/src/shells/custom.ts
+++ b/terminus-terminal/src/shells/custom.ts
@@ -15,7 +15,7 @@ export class CustomShellProvider extends ShellProvider {
        let args = this.config.store.terminal.customShell.split(' ')
        return [{
            id: 'custom',
-            name: 'Custom',
+            name: 'Custom shell',
            command: args[0],
            args: args.slice(1),
        }]