| 1234567891011121314151617181920212223242526272829 |
- import json
- def split_file(input_filename):
- chunk_size = 102400 # 100kB
- part_number = 1
- parts = []
- with open(input_filename, 'rb') as input_file:
- while True:
- data = input_file.read(chunk_size)
- if not data:
- break
- output_filename = f'card_db_parts/part{part_number}'
- with open(output_filename, 'wb') as output_file:
- output_file.write(data)
- parts.append(f'part{part_number}')
- part_number += 1
- with open("card_db_parts/index.json", 'w') as fp:
- fp.write(json.dumps(parts))
- print(f"file splited to {part_number-1} parts")
- # 示例用法
- split_file('card_db.json')
- version = None
- with open("card_db_parts/version.json", 'r') as fp:
- version = fp.read()
- version = int(version)
- with open("card_db_parts/version.json", 'w') as fp:
- fp.write(str(version+1))
|
