Reimplemented `kill` command using actual signal sending

Previously `kill` merely destroyed the terminal widget. This is contrary to the expected notion of `kill`, i.e. actually killing the process explicitly instead of relying on side effects.

The normal mode `d` verb now explicitly destroys the current item's content, be it a terminal widget or a history view.

1 files changed, 3 insertions, 1 deletions

diff --git a/src/command/commands.js b/src/command/commands.js
index 333eb98..07a1f04 100644
--- a/src/command/commands.js
+++ b/src/command/commands.js
@@ -94,7 +94,9 @@ function jump(output, index) {
 }
 
 function kill(output, index) {
-	terminalList.get(index).reset();
+	if ( !terminalList.get(index).terminate() ) {
+		output.error("Failed to terminate process.");
+	}
 }
 
 function next() {