opensource/tldr
3
0
Fork 0
mirror of https://github.com/tldr-pages/tldr.git synced 2026-08-28 19:54:09 +08:00
Code Issues Packages Projects Releases Wiki Activity

scripts/_common: fix type checker issues (#20460)

Browse Source
This commit is contained in:
Sebastiaan Speck
2025-12-31 20:28:38 +01:00
committed by GitHub
parent 8a2e382b63
commit eb288a3c63
1 changed files with 5 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
scripts/_common.py
+5 -4
View File
@@ -7,6 +7,7 @@ A Python file that makes some commonly used functions available for other script
from enum import Enum from enum import Enum
from pathlib import Path from pathlib import Path
from typing import Optional
from unittest.mock import patch from unittest.mock import patch
import shutil import shutil
import os import os
@@ -35,7 +36,7 @@ def test_ignore_files():
assert "tldr.md" not in IGNORE_FILES assert "tldr.md" not in IGNORE_FILES
def get_tldr_root(lookup_path: Path = None) -> Path: def get_tldr_root(lookup_path: Optional[str] = None) -> Path:
""" """
Get the path of the local tldr repository, looking for it in each part of the given path. If it is not found, the path in the environment variable TLDR_ROOT is returned. Get the path of the local tldr repository, looking for it in each part of the given path. If it is not found, the path in the environment variable TLDR_ROOT is returned.
@@ -182,7 +183,7 @@ def test_get_pages_dirs():
def get_target_paths( def get_target_paths(
page: Path, pages_dirs: Path, check_exists: bool = True page: str, pages_dirs: list[Path], check_exists: bool = True
) -> list[Path]: ) -> list[Path]:
""" """
Get all paths in all languages that match the page. Get all paths in all languages that match the page.
@@ -219,8 +220,8 @@ def test_get_target_paths():
root.mkdir(exist_ok=True) root.mkdir(exist_ok=True)
shutil.os.makedirs(root / "pages" / "common") (root / "pages" / "common").mkdir(parents=True, exist_ok=True)
shutil.os.makedirs(root / "pages.fr" / "common") (root / "pages.fr" / "common").mkdir(parents=True, exist_ok=True)
file_path = root / "pages" / "common" / "tldr.md" file_path = root / "pages" / "common" / "tldr.md"
with open(file_path, "w"): with open(file_path, "w"):