From 66e646140348e434d336fa32f3f0add445e82521 Mon Sep 17 00:00:00 2001 From: Moritz Warning Date: Fri, 31 Jul 2020 15:09:07 +0200 Subject: [PATCH] do no delete data folder it might have data we want to keep --- misc/collect.py | 3 --- 1 file changed, 3 deletions(-) diff --git a/misc/collect.py b/misc/collect.py index 6011670..3e381a3 100755 --- a/misc/collect.py +++ b/misc/collect.py @@ -3,7 +3,6 @@ from pathlib import Path import urllib.request import argparse -import shutil import json import sys import os @@ -132,8 +131,6 @@ def scrape(url, selector_path): print(f"file not found: {config_path}") exit(1) - shutil.rmtree(data_path, ignore_errors=True) - # fetch release URLs with urllib.request.urlopen(url) as infile: for path in re.findall(r'href=["\']?([^\'" >]+)', str(infile.read())): -- 2.30.2