| """Mirror the WING project page into this static Space. |
| |
| The page code is copied verbatim apart from asset URLs. Media stays on the |
| existing project website, so the Space does not duplicate large video files. |
| """ |
|
|
| from pathlib import Path |
|
|
|
|
| SPACE_DIR = Path(__file__).resolve().parent |
| WEBSITE_DIR = SPACE_DIR.parent |
| WEBSITE_URL = "https://mikuz12.github.io/wing/" |
| SOURCE_FILES = ("index.html", "styles.css", "script.js", "experiments.js") |
| ASSET_PREFIXES = ("assets/", "gen/", "main.pdf", "teaser.pdf", "wing_logo.png") |
|
|
|
|
| def main() -> None: |
| for name in SOURCE_FILES: |
| content = (WEBSITE_DIR / name).read_text(encoding="utf-8") |
| for prefix in ASSET_PREFIXES: |
| content = content.replace(prefix, WEBSITE_URL + prefix) |
| (SPACE_DIR / name).write_text(content, encoding="utf-8") |
| print(f"Synced {name}") |
|
|
|
|
| if __name__ == "__main__": |
| main() |
|
|
