Files
ueforth/tools/webindex.py
2023-12-21 17:30:25 -08:00

42 lines
1.2 KiB
Python
Executable File

#! /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)