cmd-k to clear the terminal (fixes #39)

terminus-terminal/src/components/terminalTab.component.ts

@@ -75,6 +75,9 @@ export class TerminalTabComponent extends BaseTabComponent {
             if (hotkey === 'copy') {
                 this.hterm.copySelectionToClipboard()
             }
+            if (hotkey === 'clear') {
+                this.clear()
+            }
             if (hotkey === 'zoom-in') {
                 this.zoomIn()
             }
@@ -234,6 +237,11 @@ export class TerminalTabComponent extends BaseTabComponent {
         this.io.writeUTF8(data)
     }
 
+    clear () {
+        this.hterm.wipeContents()
+        this.hterm.onVTKeystroke('\f')
+    }
+
     async configure (): Promise<void> {
         let config = this.config.store
         preferenceManager.set('font-family', config.terminal.font)

terminus-terminal/src/config.ts

@@ -47,6 +47,9 @@ export class TerminalConfigProvider extends ConfigProvider {
                 'copy': [
                     '⌘-C',
                 ],
+                'clear': [
+                    '⌘-K',
+                ],
                 'zoom-in': [
                     '⌘-=',
                     '⌘-Shift-+',
@@ -75,6 +78,9 @@ export class TerminalConfigProvider extends ConfigProvider {
                 'copy': [
                     'Ctrl-Shift-C',
                 ],
+                'clear': [
+                    'Ctrl-L',
+                ],
                 'zoom-in': [
                     'Ctrl-=',
                     'Ctrl-Shift-+',
@@ -102,6 +108,9 @@ export class TerminalConfigProvider extends ConfigProvider {
                 'copy': [
                     'Ctrl-Shift-C',
                 ],
+                'clear': [
+                    'Ctrl-L',
+                ],
                 'zoom-in': [
                     'Ctrl-=',
                     'Ctrl-Shift-+',

terminus-terminal/src/hotkeys.ts

@@ -8,6 +8,10 @@ export class TerminalHotkeyProvider extends HotkeyProvider {
             id: 'copy',
             name: 'Copy to clipboard',
         },
+        {
+            id: 'clear',
+            name: 'Clear terminal',
+        },
         {
             id: 'zoom-in',
             name: 'Zoom in',