scripts/fixer.py
def check_file(full_path):
    """Check if the specified file was incorrectly downloaded.

    Parameters
    ----------
    full_path : str
        The relative file path of the HTML document.

    """

    with open(full_path, "r", encoding="utf-8") as temp_file:

        file_text = temp_file.read()

        if "Error 404" in file_text:
            print("Error", full_path)
            redownload(full_path)
Check if the specified file was incorrectly downloaded.

    Parameters
    ----------
    full_path : str
        The relative file path of the HTML document.

    
Check if the specified file was incorrectly downloaded.
Parameters

full_path : str
The relative file path of the HTML document.
Check if the specified file was incorrectly downloaded . Parameters full_path : str The relative file path of the HTML document .
def check_file(full_path):
    with open(full_path, "r", encoding="utf-8") as temp_file:
        file_text = temp_file.read()
        if "Error 404" in file_text:
            print("Error", full_path)
            redownload(full_path)
def check_file ( full_path ) : with open ( full_path , "r" , encoding = "utf-8" ) as temp_file : file_text = temp_file . read ( ) if "Error 404" in file_text : print ( "Error" , full_path ) redownload ( full_path )
Check if the specified file was incorrectly downloaded.
Check if the specified file was incorrectly downloaded .
"""Check if the specified file was incorrectly downloaded.

    Parameters
    ----------
    full_path : str
        The relative file path of the HTML document.

    """
full_path