9 bucket_name =
"jedi-test-files"
11 repository_name = sys.argv[1]
12 testfiles_name = sys.argv[2]
13 branch_name = sys.argv[3]
14 testfiles_path = sys.argv[4]
15 download_base_url = sys.argv[5]
17 s3_file_name = repository_name+
"/"+branch_name+
"/"+testfiles_name
19 def DownloadUntar(download_base_url, s3_file_name, testfiles_path, testfiles_name):
20 urllib.request.urlretrieve( download_base_url+
"/"+s3_file_name+
".md5", testfiles_path+
"/"+testfiles_name+
".md5")
21 urllib.request.urlretrieve( download_base_url+
"/"+s3_file_name, testfiles_path+
"/"+testfiles_name)
22 tar_file = tarfile.open(testfiles_path+
"/"+testfiles_name)
23 tar_file.extractall(testfiles_path)
29 if os.path.isfile(testfiles_path+
"/"+testfiles_name)
and os.path.isfile(testfiles_path+
"/"+testfiles_name+
".md5") :
30 print(
"local files found")
33 urllib.request.urlretrieve( download_base_url+
"/"+s3_file_name+
".md5", testfiles_path+
"/"+testfiles_name+
".md5.dl")
36 with open(testfiles_path+
"/"+testfiles_name+
".md5",
'r')
as f:
38 with open(testfiles_path+
"/"+testfiles_name+
".md5.dl",
'r')
as f:
40 if md5_local == md5_dl :
41 print(
"no update in dataset")
43 print(
"update found; download new dataset")
44 DownloadUntar(download_base_url, s3_file_name, testfiles_path, testfiles_name)
46 print(
"local file not found; download from S3")
47 print(
"downloading "+ download_base_url+
"/"+s3_file_name)
48 DownloadUntar(download_base_url, s3_file_name, testfiles_path, testfiles_name)