Reduce cost of deletion in levenstein distance (4 -> 3)
authorMatthieu Moy <Matthieu.Moy@imag.fr>
Sun, 27 May 2012 16:02:58 +0000 (18:02 +0200)
committerJunio C Hamano <gitster@pobox.com>
Tue, 29 May 2012 18:12:59 +0000 (11:12 -0700)
commitc41494f8c89c330cc9bd4629cdc3c428803e76bc
treee754ac137fde72e16f47f6b4daf5cb1b7485bf9b
parentbefc5ed3799cb6fcbaa7de03e7fa1760e846853c
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>
help.c