-# command convenience shortcuts
-def filterCommonPrefix (strings, length):
- # ignores duplicates in the string list "strings"
- toremove=[]
- for a in strings:
- for b in strings:
- if a != b:
- if a[:length] == b[:length]:
- toremove.append(a)
- toremove.append(b)
- ret = list(strings) # copy
- for x in toremove:
- try:
- ret.remove(x)
- except ValueError:
- pass
- return ret
-
-def shortcutify (dic):
- maxlen = 0
- for x in dic.keys():
- if len(x) > maxlen:
- maxlen = len(x)
- for i in range(maxlen):
- shortable = filterCommonPrefix (dic.keys(), i)
- for x in shortable:
- dic[x[:i]] = dic[x]
- return dic # only for convenience, as dic is passed by reference
-
-longcommands = commands.copy()
-shortcutify (commands)
-
-