Welcome to mirror list, hosted at ThFree Co, Russian Federation.

dev.gajim.org/gajim/gajim-plugins.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorlovetox <philipp@hoerist.com>2022-05-08 15:41:00 +0300
committerlovetox <philipp@hoerist.com>2022-05-08 15:43:41 +0300
commit4c2e4d2006bb3a42424ed4795b4fbef93cb06ff5 (patch)
tree0ab3abef5d634fb2b805524cf9186e29e6481717
parent5f754a6fa8d364971069df3db6eed3b7079758ef (diff)
Script: Ignore images.zip
-rw-r--r--scripts/build_repository.py3
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/build_repository.py b/scripts/build_repository.py
index c41b2f8..4289cf8 100644
--- a/scripts/build_repository.py
+++ b/scripts/build_repository.py
@@ -49,6 +49,9 @@ def is_manifest_valid(manifest: Dict[str, Any]) -> bool:
def iter_releases(release_folder: Path) -> Iterator[Dict[str, Any]]:
for path in release_folder.rglob('*.zip'):
with ZipFile(path) as release_zip:
+ if path.name == 'images.zip':
+ continue
+ log.info('Check path: %s', path)
try:
with release_zip.open('plugin-manifest.json') as file:
manifest = json.load(file)