Matthieu Moy wrote:
Hi,
The following is quite surprising:
$ git tags
git: 'tags' is not a git-command. See 'git --help'.
Did you mean this?
status
I would have expected git to propose me "tag" (1 character removal),
while "status" is quite far from "tags" (remove g, add u, add another
t, shuffle and you're there).
That's the Deveraux(?) addendum in action. shuffle+replace = 3 in the
distance score, while remove = 4 (I think).
Typos by users accustomed to computers are more often of the shuffle
(haed vs head) or replace (hwad vs head) kind, while those less
accustomed often fumble more and press more keys. For this case though,
I agree it gives a rather strange result.
--
Andreas Ericsson andreas.ericsson@xxxxxx
OP5 AB www.op5.se
Tel: +46 8-230225 Fax: +46 8-230231
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
