tworu/dzgui
1
0 Fork 0
mirror of https://github.com/aclist/dztui.git synced 2026-10-29 14:12:45 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity

chore: clear typehinting errors

Browse Source
This commit is contained in:
aclist committed 2026-05-15 23:26:47 +09:00
1 parent 2d265c4b9b
commit 156c1f8ec4
16 files changed
+83 -85
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

dzgui/util/ip.py
+2 -2
View File
@@ -54,9 +54,9 @@ def get_coords(ips: "Path", ip: str) -> Coords:
prefix = f"^{split[0]}.{split[1]}."
if shutil.which("rg") is not None:
args = ["/usr/bin/rg", prefix, ips]
args = ["/usr/bin/rg", prefix, str(ips)]
else:
args = ["/usr/bin/grep", "-E", prefix, ips]
args = ["/usr/bin/grep", "-E", prefix, str(ips)]
proc = subprocess.run(args, capture_output=True, text=True)
if proc.returncode != 0: