File size: 1,003 Bytes
0558e7d
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
0bba168
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
import os
import glob
import json


def extract():

    for file_path in glob.glob("compression_rate_all/*.json"):
        file_name = os.path.basename(file_path)
        print(file_name)
        try:
            data = json.load(open(file_path, "r", encoding="utf-8"))
        except:
            print(file_path, "ERROR")
            continue

        with open(os.path.join("compression_rate", file_name), "w", encoding="utf-8") as f_out:
            f_out.write(json.dumps(data[:10], ensure_ascii=False, indent=2))


# def continue_extract():
#     for file_path in glob.glob("compression_rate/*.json"):
#         file_name = os.path.basename(file_path)
#
#         data = json.load(open(file_path, "r", encoding="utf-8"))
#         if len(data) > 10:
#             print(file_name, len(data))
#         #
#         # with open(file_name, "w", encoding="utf-8") as f_out:
#         #     f_out.write(json.dumps(data[:10], ensure_ascii=False, indent=2))
#


extract()