From 0c184f9ad31808ab9f373694e2877fb86254fecc Mon Sep 17 00:00:00 2001
From: Daniel Xie <Daniel Xie>
Date: Fri, 2 Jun 2017 20:46:43 -0500
Subject: [PATCH] Autocompletetion for command ends with a space

---
 src/Terminal.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Terminal.js b/src/Terminal.js
index 09364bcf9..9a1ae5db4 100644
--- a/src/Terminal.js
+++ b/src/Terminal.js
@@ -191,7 +191,7 @@ function tabCompletion(command, arg, allPossibilities, index=0) {
     } else if (allPossibilities.length == 1) {    
         if (arg == "") {
             //Autocomplete command
-            val = allPossibilities[0];
+            val = allPossibilities[0] + " ";
         } else {
             val = command + " " + allPossibilities[0];
         }