diff options
author | Matthieu Moy <Matthieu.Moy@imag.fr> | 2012-05-27 18:02:58 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2012-05-29 11:12:59 -0700 |
commit | c41494f8c89c330cc9bd4629cdc3c428803e76bc (patch) | |
tree | e754ac137fde72e16f47f6b4daf5cb1b7485bf9b /help.c | |
parent | befc5ed3799cb6fcbaa7de03e7fa1760e846853c (diff) | |
download | git-c41494f8c89c330cc9bd4629cdc3c428803e76bc.tar.gz |
Reduce cost of deletion in levenstein distance (4 -> 3)
Before this patch, a character deletion has the same cost as 2 swaps, or
4 additions, so Git prefers suggesting a completely scrambled command
name to removing a character. For example, "git tags" suggests "stage",
but not "tag".
By setting the deletion cost to 3, we keep it higher than swaps or
additions, but prefer 1 deletion to 2 swaps. "git tags" now suggests
"tag" in addition to staged.
Signed-off-by: Matthieu Moy <Matthieu.Moy@imag.fr>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'help.c')
-rw-r--r-- | help.c | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -317,7 +317,7 @@ const char *help_unknown_cmd(const char *cmd) } main_cmds.names[i]->len = - levenshtein(cmd, candidate, 0, 2, 1, 4) + 1; + levenshtein(cmd, candidate, 0, 2, 1, 3) + 1; } qsort(main_cmds.names, main_cmds.cnt, |