Archives/wting_autojump
1
0
Fork 0
mirror of https://github.com/wting/autojump synced 2024-10-27 20:34:07 +00:00
Code Issues Releases Wiki Activity

Optimize: Use append() instead of copy().

Browse Source
This commit is contained in:
jez 2011-05-31 04:48:05 +00:00
parent 4c2517dafa
commit 7ffb81d08e
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
autojump
View File

@ -30,7 +30,6 @@ import getopt
from sys import argv, stderr, version_info, exit
from tempfile import NamedTemporaryFile
from operator import itemgetter
from copy import copy
import os
MAX_KEYWEIGHT = 1000
MAX_STORED_PATHS = 600
@ -91,7 +90,7 @@ def clean_dict(sorted_dirs, path_dict):
def approximatch(pat, text):
cols = [list(range(0, len(pat)+1))]
cols.extend(copy(col) for col in [[0] * (len(pat) + 1)] * (len(text) + 1))
for i in range(0, len(text)): cols.append([0] * (len(pat) + 1))
errors = len(pat)
last_seen_in_text = {}
for i, char1 in enumerate(text):