aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat
-rw-r--r--.github/workflows/build.yml3+1 −2
-rw-r--r--REUSE.toml1+1 −0
-rw-r--r--pkg/dl/404.html (renamed from pkg/404.html)8+3 −5
-rw-r--r--pkg/dl/index.html17+17 −0
-rw-r--r--pkg/dl/robots.txt2+2 −0
-rw-r--r--pkg/index.html61+0 −61
6 files changed, 24 insertions, 68 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 8dc21c0..7a7119e 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -147,8 +147,7 @@ jobs:
run: |
gpg --export --armor "${{ vars.GPG_KEY_ID }}" > public.gpg
rclone copyto public.gpg "s3:${{ vars.S3_BUCKET }}/public.gpg"
- rclone copyto pkg/index.html "s3:${{ vars.S3_BUCKET }}/index.html"
- rclone copyto pkg/404.html "s3:${{ vars.S3_BUCKET }}/404.html"
+ rclone copy pkg/dl/ "s3:${{ vars.S3_BUCKET }}/"
- name: Create APT repository
run: |
diff --git a/REUSE.toml b/REUSE.toml
index 0d40574..6875d1a 100644
--- a/REUSE.toml
+++ b/REUSE.toml
@@ -11,6 +11,7 @@ path = [
"CLA.md",
"README.md",
"pkg/logo.svg",
+ "pkg/dl/*",
]
SPDX-FileCopyrightText = "2026 Nikolay Govorov <me@govorov.online>"
SPDX-License-Identifier = "AGPL-3.0-or-later"
diff --git a/pkg/404.html b/pkg/dl/404.html
index 950dfd8..3ae5a33 100644
--- a/pkg/404.html
+++ b/pkg/dl/404.html
@@ -6,14 +6,12 @@
<html lang="en">
<head>
<meta charset="utf-8">
- <meta name="viewport" content="width=device-width, initial-scale=1">
+ <meta http-equiv="refresh" content="0; URL=https://mirum.dev" />
+
<title>404 - Mirum</title>
- <style>
- body { font-family: system-ui, sans-serif; max-width: 720px; margin: 2rem auto; padding: 0 1rem; line-height: 1.6; color: #1a1a1a; text-align: center; }
- </style>
</head>
<body>
<h1>404</h1>
- <p>Looking for the package repository? See <a href="/">installation instructions</a>.</p>
+ <p>Looking for the mirum docs? Visit <a href="https://mirum.dev">mirum site</a>.</p>
</body>
</html>
diff --git a/pkg/dl/index.html b/pkg/dl/index.html
new file mode 100644
--- /dev/null
+++ b/pkg/dl/index.html
@@ -0,0 +1,17 @@
+<!--
+ Copyright (c) 2026 Nikolay Govorov
+ SPDX-License-Identifier: AGPL-3.0-or-later
+-->
+<!DOCTYPE html>
+<html lang="en">
+<head>
+ <meta charset="utf-8">
+ <meta name="viewport" content="width=device-width, initial-scale=1">
+ <meta http-equiv="refresh" content="0; URL=https://mirum.dev" />
+
+ <title>Mirum - Package Repository</title>
+</head>
+<body>
+ <p>Visit <a href="https://mirum.dev">mirum site</a>.</p>
+</body>
+</html>
diff --git a/pkg/dl/robots.txt b/pkg/dl/robots.txt
new file mode 100644
--- /dev/null
+++ b/pkg/dl/robots.txt
@@ -0,0 +1,2 @@
+User-Agent: *
+Disallow: /
diff --git a/pkg/index.html b/pkg/index.html
deleted file mode 100644
--- a/pkg/index.html
+++ /dev/null
@@ -1,61 +0,0 @@
-<!--
- Copyright (c) 2026 Nikolay Govorov
- SPDX-License-Identifier: AGPL-3.0-or-later
--->
-<!DOCTYPE html>
-<html lang="en">
-
-<head>
- <meta charset="utf-8">
- <meta name="viewport" content="width=device-width, initial-scale=1">
- <title>Mirum - Package Repository</title>
- <style>
- body { font-family: system-ui, sans-serif; max-width: 720px; margin: 2rem auto; padding: 0 1rem; line-height: 1.6; color: #1a1a1a; }
- h1 { margin-bottom: 0.25rem; }
- h1 + p { color: #555; margin-top: 0; }
- h2 { margin-top: 2rem; }
- pre { background: #f4f4f4; padding: 1rem; overflow-x: auto; border-radius: 4px; }
- .warn { background: #fff3cd; padding: 0.75rem 1rem; border-radius: 4px; margin-bottom: 1.5rem; }
- </style>
-</head>
-
-<body>
- <h1>Install Mirum</h1>
-
- <p>An experimental CI built around virtual machines and Starlark</p>
-
- <div class="warn">This project is in its infancy and is <strong>not</strong> intended for production use.</div>
-
- <h2>Debian / Ubuntu</h2>
- <pre><code>curl -fsSL https://dl.mirum.dev/public.gpg | sudo gpg --dearmor -o /usr/share/keyrings/mirum.gpg
-echo "deb [signed-by=/usr/share/keyrings/mirum.gpg] https://dl.mirum.dev/apt/ nightly main" | sudo tee /etc/apt/sources.list.d/mirum.list
-sudo apt update && sudo apt install mirum
-
-sudo systemctl enable --now mirumd</code></pre>
-
- <h2>Fedora / RHEL</h2>
- <pre><code># DNF5 (Fedora 41+, RHEL 10+)
-sudo dnf config-manager addrepo --from-repofile=https://dl.mirum.dev/rpm/nightly/mirum-nightly.repo
-
-# DNF4 (Fedora 40 and older, RHEL 8/9)
-sudo curl -o /etc/yum.repos.d/mirum-nightly.repo https://dl.mirum.dev/rpm/nightly/mirum-nightly.repo
-
-sudo dnf install mirum
-sudo systemctl enable --now mirumd</code></pre>
-
- <h2>openSUSE</h2>
- <pre><code>sudo rpm --import https://dl.mirum.dev/public.gpg
-sudo zypper addrepo https://dl.mirum.dev/rpm/nightly/ mirum-nightly
-sudo zypper refresh
-sudo zypper install mirum
-
-sudo systemctl enable --now mirumd</code></pre>
-
- <hr style="margin-top: 2rem">
- <p style="color: #555; font-size: 0.9em">
- This is a package download server. For documentation and source code, visit
- <a href="https://github.com/dimidiumlabs/mirum">github.com/dimidiumlabs/mirum</a>.
- </p>
-</body>
-
-</html>