Function write_file

src/tests/test_filesystem_mounting.py:60–62

()

def py_write_file_source(index: int) -> str:
    def write_file():
        with open("/pyodide{index}/file_from_{index}.txt", "w", encoding="utf-8") as f:
            f.write("pyodide{index}")

    return (
        getsource(write_file).format(index=index).lstrip() + f"{write_file.__name__}()"