Function stream_reader

nix/build-all.py:485–490

(pipe, collector: "list[str]", log_file)

        return datetime.now().strftime("%Y-%m-%d %H:%M:%S,%f")[:-3]  # same format as logging

    def stream_reader(pipe, collector: "list[str]", log_file) -> None:
        for line in iter(pipe.readline, ""):
            log_file.write(f"{timestamp()} {line}")
            log_file.flush()
            collector.append(line)
        pipe.close()

    logger.debug(f"running command `{' '.join(cmds)}` in directory '{cwd}'")
    stdout: list[str] = []