Re-root site.

2022-02-27 20:59:19 -08:00
parent a26786d7ef
commit fb47179999
131 changed files with 27 additions and 39 deletions
--- a/tools/webindex.py
+++ b/tools/webindex.py
@ -0,0 +1,41 @@
+#! /usr/bin/env python
+# Copyright 2021 Bradley D. Nelson
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+import sys
+
+sys.stdout.write("""<!DOCTYPE html>
+<head>
+<title>Release Archive</title>
+</head>
+<body>
+<h1>Release Archive</h1>
+""")
+
+output = []
+for line in sys.stdin.read().splitlines():
+  parts = line.split()
+  if len(parts) != 3:
+    continue
+  modes, date, path = parts
+  url = path.replace('gs://eforth/', 'https://eforth.storage.googleapis.com/')
+  name = path.replace('gs://eforth/releases/', '')
+  if name == 'archive.html':
+    continue
+  output.append('%s <a href="%s">%s</a><br/>\n' % (date, name, url))
+
+output.sort()
+output.reverse()
+for line in output:
+  sys.stdout.write(line)