tworu/dzgui
1
0
Fork 0
mirror of https://github.com/aclist/dztui.git synced 2026-08-28 18:57:12 +02:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

chore: clear typehinting errors

Browse Source
This commit is contained in:
aclist 2026-05-26 03:59:11 +09:00
parent d57277f527
commit 41b3ad8eca
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
dzgui/init/migrate.py
View File

@ -1,6 +1,7 @@
import shutil import shutil
from pathlib import Path from pathlib import Path
from typing import Any
from dzgui.const.constants import LEGACY_CONFIG_PATH, LEGACY_COLS_PATH, LEGACY_IPS_PATH from dzgui.const.constants import LEGACY_CONFIG_PATH, LEGACY_COLS_PATH, LEGACY_IPS_PATH
from dzgui.config.convert import rc2json from dzgui.config.convert import rc2json
from dzgui.util._json import read_json, write_json from dzgui.util._json import read_json, write_json
@ -17,7 +18,7 @@ def has_new_config(config: Path) -> bool:
return config.exists() return config.exists()
def convert_cols_file(res: Path) -> dict[str, int] | None: def convert_cols_file(res: Path) -> Any | None:
j = read_json(res) j = read_json(res)
cols = j["cols"] cols = j["cols"]
# NOTE: implies prior conversion # NOTE: implies prior conversion

2
dzgui/util/_json.py
View File

@ -12,7 +12,7 @@ def read_json(path: Path) -> Any:
raise e raise e
def write_json(data: dict, path: Path) -> None: def write_json(data: dict[str, Any], path: Path) -> None:
try: try:
j = json.dumps(data, indent=2) j = json.dumps(data, indent=2)
path.write_text(j) path.write_text(j)