Fuzzy matching for options #830
Description
The fuzzy matching in #568 doesn't yet work for options. For example:
grep --case<tab>
should at least offer grep --ignore-case
{{ message }}
The fuzzy matching in #568 doesn't yet work for options. For example:
grep --case<tab>
should at least offer grep --ignore-case