..

0	#!/bin/sh
1	# Nomo: fari_indexojn.sh
2	# Pri: Tiu ĉu skripto kreas niajn proprajn HTML-ajn paĝojn, por plibeligi la
3	# retejon se ial oni malŝaltis Ĝavoskripton.
4	# Dato: 2024-03-18
5
6	# Dosierujo, kien metiĝos index-dosieroj.
7	INDEX="instance/static.index/"
8
9	# Forigu la malnovajn!
10	rm "$INDEX/index.html" "$INDEX/index.base.html" "$INDEX/static/paĝoj-index/"*.html
11
12	# Elŝutu tiun interne kreitan de Pleroma — ĉi tio inkluzivos la Ĝavoskriptan
13	# kodon por funkciigi Pleroma-FE.
14	curl 'http://localhost:4000' \
15	| sed 's/<body.*//' \
16	> "$INDEX/index.base.html"
17
18
19	# Kreu la ĉefan index-paĝon, kiu estos implicite montrata je ajna URL nekonata.
20	cat "$INDEX/index.base.html" \
21	> "$INDEX"/index.html
22	cat "index.sh.html" \
23	>> "$INDEX"/index.html
24
25
26	# Nun kreu apartan HTML-paĝon por ĉiu »paĝo«; eĉ se Pleroma-FE ne funkcius, la
27	# paĝoj tamen legeblu!
28	mkdir -p "$INDEX/static/paĝoj-index/" 2> /dev/null
29	for pagho in instance/static/static/paĝoj/*.html; do
30	cat "$INDEX/index.base.html" \
31	> "$INDEX/static/paĝoj-index/$(basename "$pagho")"
32	sh paĝo.sh "$pagho" \
33	>> "$INDEX/static/paĝoj-index/$(basename "$pagho")"
34	done