diff options
-rwxr-xr-x | bin/bootstrap.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/bootstrap.py b/bin/bootstrap.py index 2a8c19c2..0cd5f09b 100755 --- a/bin/bootstrap.py +++ b/bin/bootstrap.py @@ -341,14 +341,16 @@ def prune_config(*, repos_file: str, empty_dir: str) -> None: with open(repos_file, "w") as f: json.dump(repos, f, indent=2) + def ignore_dst(dst: str) -> Callable[[str, List[str]], List[str]]: def ignore_(path: str, names: List[str]) -> List[str]: if os.path.normpath(path) == dst: return names for n in names: if os.path.normpath(os.path.join(path, n)) == dst: - return[n] + return [n] return [] + return ignore_ |