Function read_uris

aura/prefetch.py:85–94

(file_input: TextIO)

def read_uris(file_input: TextIO) -> Iterable[str]:
    for line in file_input:
        line = line.strip()
        if line.startswith("#") or not line:
            continue
        else:
            if (not line.startswith("mirror://")) and mirror.LocalMirror.get_mirror_path():
                line = "mirror://" + line

            yield line