Show debian package download links in header

KIT-MRT · Nov 18, 2024 · 47c35f5 · 47c35f5
1 parent 87d02fc
commit 47c35f5
Showing 1 changed file with 8 additions and 5 deletions.
diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html
@@ -18,12 +18,15 @@
     <header class="page-header" role="banner">
       <h1 class="project-name">{{ page.title | default: site.title | default: site.github.repository_name }}</h1>
       <h2 class="project-tagline">{{ page.description | default: site.description | default: site.github.project_tagline }}</h2>
-      {% if site.github.is_project_page %}
+      {% if site.github.is_project_page and page.url == "/" %}
         <a href="{{ site.github.repository_url }}" class="btn">View on GitHub</a>
-      {% endif %}
-      {% if site.show_downloads %}
-        <a href="{{ site.github.zip_url }}" class="btn">Download .zip</a>
-        <a href="{{ site.github.tar_url }}" class="btn">Download .tar.gz</a>
+        {% for asset in site.github.latest_release.assets %}
+          {% assign fileext = asset.name | split: '.' | last %}
+          {% if fileext == "deb" %}
+            {% assign shortname = asset.name | remove: "libarbitration-graphs-" | remove: "-dev.deb" | capitalize %}
+            <a href="{{ asset.browser_download_url }}" class="btn">Download {{ shortname }} .deb</a>
+          {% endif %}
+        {% endfor %}
       {% endif %}
     </header>