| import importlib |
| import time |
| import inspect |
| import re |
| import os |
| import base64 |
| import gradio |
| import shutil |
| import glob |
| from shared_utils.config_loader import get_conf |
| from loguru import logger |
|
|
| def html_local_file(file): |
| base_path = os.path.dirname(__file__) |
| if os.path.exists(str(file)): |
| file = f'file={file.replace(base_path, ".")}' |
| return file |
|
|
|
|
| def html_local_img(__file, layout="left", max_width=None, max_height=None, md=True): |
| style = "" |
| if max_width is not None: |
| style += f"max-width: {max_width};" |
| if max_height is not None: |
| style += f"max-height: {max_height};" |
| __file = html_local_file(__file) |
| a = f'<div align="{layout}"><img src="{__file}" style="{style}"></div>' |
| if md: |
| a = f"" |
| return a |
|
|
|
|
| def file_manifest_filter_type(file_list, filter_: list = None): |
| new_list = [] |
| if not filter_: |
| filter_ = ["png", "jpg", "jpeg"] |
| for file in file_list: |
| if str(os.path.basename(file)).split(".")[-1] in filter_: |
| new_list.append(html_local_img(file, md=False)) |
| else: |
| new_list.append(file) |
| return new_list |
|
|
|
|
| def zip_extract_member_new(self, member, targetpath, pwd): |
| |
| """Extract the ZipInfo object 'member' to a physical |
| file on the path targetpath. |
| """ |
| import zipfile |
| if not isinstance(member, zipfile.ZipInfo): |
| member = self.getinfo(member) |
|
|
| |
| |
| arcname = member.filename.replace('/', os.path.sep) |
| arcname = arcname.encode('cp437', errors='replace').decode('gbk', errors='replace') |
|
|
| if os.path.altsep: |
| arcname = arcname.replace(os.path.altsep, os.path.sep) |
| |
| |
| arcname = os.path.splitdrive(arcname)[1] |
| invalid_path_parts = ('', os.path.curdir, os.path.pardir) |
| arcname = os.path.sep.join(x for x in arcname.split(os.path.sep) |
| if x not in invalid_path_parts) |
| if os.path.sep == '\\': |
| |
| arcname = self._sanitize_windows_name(arcname, os.path.sep) |
|
|
| targetpath = os.path.join(targetpath, arcname) |
| targetpath = os.path.normpath(targetpath) |
|
|
| |
| upperdirs = os.path.dirname(targetpath) |
| if upperdirs and not os.path.exists(upperdirs): |
| os.makedirs(upperdirs) |
|
|
| if member.is_dir(): |
| if not os.path.isdir(targetpath): |
| os.mkdir(targetpath) |
| return targetpath |
|
|
| with self.open(member, pwd=pwd) as source, \ |
| open(targetpath, "wb") as target: |
| shutil.copyfileobj(source, target) |
|
|
| return targetpath |
|
|
|
|
| def extract_archive(file_path, dest_dir): |
| import zipfile |
| import tarfile |
| import os |
|
|
| |
| file_extension = os.path.splitext(file_path)[1] |
|
|
| |
| if file_extension == ".zip": |
| with zipfile.ZipFile(file_path, "r") as zipobj: |
| zipobj._extract_member = lambda a,b,c: zip_extract_member_new(zipobj, a,b,c) |
| zipobj.extractall(path=dest_dir) |
| logger.info("Successfully extracted zip archive to {}".format(dest_dir)) |
|
|
| elif file_extension in [".tar", ".gz", ".bz2"]: |
| try: |
| with tarfile.open(file_path, "r:*") as tarobj: |
| |
| for member in tarobj.getmembers(): |
| member_path = os.path.normpath(member.name) |
| full_path = os.path.join(dest_dir, member_path) |
| full_path = os.path.abspath(full_path) |
| if not full_path.startswith(os.path.abspath(dest_dir) + os.sep): |
| raise Exception(f"Attempted Path Traversal in {member.name}") |
|
|
| tarobj.extractall(path=dest_dir) |
| logger.info("Successfully extracted tar archive to {}".format(dest_dir)) |
| except tarfile.ReadError as e: |
| if file_extension == ".gz": |
| |
| import gzip |
| with gzip.open(file_path, 'rb') as f_in: |
| with open(os.path.join(dest_dir, 'main.tex'), 'wb') as f_out: |
| f_out.write(f_in.read()) |
| else: |
| raise e |
|
|
| |
| |
| elif file_extension == ".rar": |
| try: |
| import rarfile |
|
|
| with rarfile.RarFile(file_path) as rf: |
| rf.extractall(path=dest_dir) |
| logger.info("Successfully extracted rar archive to {}".format(dest_dir)) |
| except: |
| logger.info("Rar format requires additional dependencies to install") |
| return "\n\n解压失败! 需要安装pip install rarfile来解压rar文件。建议:使用zip压缩格式。" |
|
|
| |
| elif file_extension == ".7z": |
| try: |
| import py7zr |
|
|
| with py7zr.SevenZipFile(file_path, mode="r") as f: |
| f.extractall(path=dest_dir) |
| logger.info("Successfully extracted 7z archive to {}".format(dest_dir)) |
| except: |
| logger.info("7z format requires additional dependencies to install") |
| return "\n\n解压失败! 需要安装pip install py7zr来解压7z文件" |
| else: |
| return "" |
| return "" |
|
|
|
|