JuliaRegistries · ericphanson · Dec 10, 2024 · Dec 1, 2024 · Dec 1, 2024 · Dec 1, 2024
@@ -0,0 +1,37 @@
+name: Generate and Deploy Redirects
+
+on:
+  workflow_dispatch:
+
+jobs:
+  build-and-deploy:
+    # Grant GITHUB_TOKEN the permissions required to make a Pages deployment
+    permissions:
+      pages: write      # to deploy to Pages
+      id-token: write   # to verify the deployment originates from an appropriate source
+
+    runs-on: ubuntu-latest
+
+    steps:
+      # Checkout the repository
+      - name: Checkout repository
+        uses: actions/checkout@v4
+
+      # Install Julia
+      - name: Install Julia
+        uses: julia-actions/setup-julia@v2
+        with:
+          version: '1'
+
+      # Run the Julia script
+      - name: Run Julia script
+        run: julia generate_redirects.jl
+
+      - name: Upload static files as artifact
+        uses: actions/upload-pages-artifact@v3
+        with:
+          path: packages/
+
+      # Deploy to GitHub Pages
+      - name: Deploy to GitHub Pages
+        uses: actions/deploy-pages@v4
diff --git a/generate_redirects.jl b/generate_redirects.jl
@@ -0,0 +1,42 @@
+using TOML
+
+function get_repo(path::String)
+    return TOML.parsefile(joinpath(path, "Package.toml"))["repo"]
+end
+
+function get_packages_info()
+    reg = TOML.parsefile("Registry.toml")
+    return [(; name = dict["name"], path = dict["path"]) for (uuid, dict) in reg["packages"]]
+end
+
+function create_redirect_page(; name, path)
+    repo = get_repo(path)
+    open(joinpath("packages", name * ".html"), "w") do io
+        write(io, """
+        <!DOCTYPE html>
+        <html lang="en">
+        <head>
+            <meta charset="UTF-8">
+            <meta name="viewport" content="width=device-width, initial-scale=1.0">
+            <title>Redirecting...</title>
+            <meta http-equiv="refresh" content="0; url=$repo">
+        </head>
+        <body>
+            <p>If you are not redirected automatically, follow this <a href="$repo">link</a>.</p>
+        </body>
+        </html>
+        """)
+    end
+end
+
+function main()
+    if !isdir("packages")
+        mkdir("packages")
+    end
+    packages_info = get_packages_info()
+    for (; name, path) in packages_info
+        create_redirect_page(; name, path)
+    end
+end
+
+main()