Support case-insensitive completion

Author: wcchoi

myinputrc

@@ -5,8 +5,7 @@ set output-meta on
 ### Don't suggest hidden files unless the dot(.) is provided
 set match-hidden-files off
 
-### TODO:
-### set completion-ignore-case on
+set completion-ignore-case on
 
 ### Don't show Display all XXX possibilities? (y or n)
 ### OTHERWISE sometimes the command will be executed by pybcompgen, which can be very wrong... (eg: 'rm -rf /' !?)
@@ -16,4 +15,8 @@ set completion-query-items 0
 
 set show-all-if-ambiguous on
 
+set completion-display-width 0
+
+# set skip-completed-text on
+
 ### Others?

pybcompgen.py

@@ -87,7 +87,15 @@
 def remove_control_characters(s):
     s = ansi_escape.sub('', s)
     s = s.replace('[1@#', '')
-    return "".join(ch for ch in s if unicodedata.category(ch)[0] != "C")
+    tmp = "".join(ch for ch in s if ch == '\x08' or unicodedata.category(ch)[0] != "C")
+    ret = ""
+    for ch in tmp:
+        if ch == '\x08':
+            # NOTE: very inefficient
+            ret = ret[:-1]
+        else:
+            ret += ch
+    return ret
 
 # NOTE: by adding the void here,
 # if bash-completion package is not installed, `complete` won't suggest commands
@@ -170,6 +178,7 @@ def complete(to_complete, cwd=None):
 
     err = err.decode('utf-8')
 
+    # import bpdb; bpdb.set_trace()
     # print(err)
     lines = err.split('\n')
     for i in range(len(lines)):
@@ -200,7 +209,7 @@ def complete(to_complete, cwd=None):
         # Pagination indicators like '--More--'must be removed
         lines = [line for line in lines if not line.startswith('--More')]
         last_marker = len(lines) - 3
-        first_marker+=1
+        # first_marker+=1
 
     complete_lines = lines[first_marker+2:last_marker-1]
 
@@ -219,6 +228,13 @@ def complete(to_complete, cwd=None):
             return []
 
         the_line = remove_control_characters(the_line)
+
+        i1 = the_line.lower().rfind(to_complete.lower())
+        subs = the_line[i1:i1+len(to_complete)]
+        if subs.lower() == to_complete.lower():
+            # print("yes")
+            to_complete = subs
+
         tmp = the_line[the_line.rfind(to_complete)+len(to_complete):]
         if to_complete.endswith(' '):
             # result = to_complete.split()[-1] + ' ' + tmp

static/app.js

@@ -26,13 +26,13 @@ var updateCompleter = function(suggestions, prefix, reupdateCompleter, addSpaceA
         c.innerHTML = ''
         c.innerHTML = s.join('')
         c.scrollLeft = 0
-        var lastInput = ''
+        var lastInput = prefix
         $('.suggestion').on('click', function (evt) {
             var word = evt.currentTarget.dataset.value
             if(lastInput) {
                 Terminal.backspaceNTimes(lastInput.length)
             }
-            lastInput = word.slice(prefix.length, word.length)
+            lastInput = word
             if(addSpaceAtEnd) {
                 lastInput += ' ' // input an extra space at the end
             }

static/worker.js

@@ -156,15 +156,18 @@ _getCompletionsAtLoc['bash'] = function(cb) {
                         if(prevSpacePos > -1) {
                             var prevToken = json.line.slice(prevSpacePos+1, json.point)
                         }
+
                         if(json2.data.length > 1) {
-                            var prefix = sharedStart(json2.data)
+                            var prefix = sharedStart(json2.data.map(function(s) { return s.toLowerCase() }))
                             if (prevToken) {
                                 var prevSlashPos = prevToken.lastIndexOf('/')
                                 if (prevSlashPos > -1) {
-                                    prefix = sharedStart([prefix, prevToken.slice(prevSlashPos+1)])
+                                    prefix = sharedStart([prefix, prevToken.slice(prevSlashPos+1).toLowerCase()])
                                 } else {
-                                    prefix = sharedStart([prefix, prevToken])
+                                    prefix = sharedStart([prefix, prevToken.toLowerCase()])
                                 }
+                            } else {
+                                prefix = ''
                             }
                             var reupdateCompleter = true
                         } else if(json2.data.length === 0) {
@@ -177,6 +180,7 @@ _getCompletionsAtLoc['bash'] = function(cb) {
                                 prefix = ''
                             }
                         }
+
                         console.log("prefix 2", prefix)
                         var data = {
                             completions: json2.data,