From 2d71efb60ee92d0cf8bfa34764ab367a7c8a14ff Mon Sep 17 00:00:00 2001
From: "Bernhard J. Berger" <bernhard.berger@tuhh.de>
Date: Sat, 23 Sep 2023 09:51:45 +0200
Subject: [PATCH] Added a index.html to the Update Site. Otherwise users might
wonder why the directory returns a 404.
---
ci/create-pages.py | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/ci/create-pages.py b/ci/create-pages.py
index 35f1f0dd..7ad31d79 100644
--- a/ci/create-pages.py
+++ b/ci/create-pages.py
@@ -44,6 +44,10 @@ for release in releases:
if not os.path.exists(path):
os.makedirs(path)
+ f = open(path + "/index.html", "w")
+ f.write("""<html><head><title>Update Site of %s</title></head><body><h1>Remark</h1><p>This is an Eclipse Update Site and there is nothing so see here. Please add this URL to Eclipse as an Update Site.</p></body>""" % (release,))
+ f.close
+
try:
meta_url="https://gitlab.informatik.uni-bremen.de/api/v4/projects/30380/packages/maven/%s/de/evoal/languages/de.evoal.languages.releng.site/" % (release,)
--
GitLab