This removes the + [[]] from the autocomplete for commands as it was being appended to the list of options and could then be selected by tabbing till hitting it, which then leads to an error. Given the changes from #132, it seems like this is no longer necessary, though will test this further on bash tomorrow when I'm not traveling.
This removes the
+ [[]]
from the autocomplete for commands as it was being appended to the list of options and could then be selected by tabbing till hitting it, which then leads to an error. Given the changes from #132, it seems like this is no longer necessary, though will test this further on bash tomorrow when I'm not traveling.