OpenGrok

323     This object keeps track of its origin (keydir + name), can be used to
328     def __init__(self, name: str, keydir: Optional[Union[str, Path]] = None):
330         if keydir is None:
331             self.keydir = Path()
333             self.keydir = Path(keydir)
334         self.path = str(self.keydir / name)
1481     zone: Optional[str], keydir: Optional[str] = None, in_use: bool = False
1486     zone name. If 'keydir' is None, search the current directory.
1492     if keydir is None:
1499         regex = rf"{keydir}/(K{zone}\.\+.*\+.*)\.key"
1500         for filename in glob.glob(f"{keydir}/K{zone}.+*+*.key"):
1503                 all_keys.append(Key(match.group(1), keydir))
1522 def keystr_to_keylist(keystr: str, keydir: Optional[str] = None) -> List[Key]:
1523     return [Key(name, keydir) for name in keystr.split()]

Indexes created Sun Mar 01 05:31:48 UTC 2026