mirror of
https://github.com/aclist/dztui.git
synced 2026-10-30 22:52:42 +01:00
chore: clear typehinting errors
This commit is contained in:
1 parent
ea1b9facd2
commit
2ebe8cad84
9 files changed
+35
-27
No files matched your search
@@ -50,7 +50,7 @@ def rc2json(file: Path) -> str:
|
||||
|
||||
while True:
|
||||
tok = lex.get_token()
|
||||
ntok = lex.get_token()
|
||||
ntok: str | bool | None = lex.get_token()
|
||||
|
||||
if ntok is not None:
|
||||
ntok = ntok.strip('""')
|
||||
@@ -58,7 +58,8 @@ def rc2json(file: Path) -> str:
|
||||
if tok in deprecated:
|
||||
continue
|
||||
elif tok in toggles:
|
||||
ntok = str2bool(ntok)
|
||||
if ntok is not None:
|
||||
ntok = str2bool(ntok)
|
||||
elif tok == "preferred_client":
|
||||
tok = "client"
|
||||
elif tok == "api_key":
|
||||
|
||||
Reference in new issue
Block a user