2023-10-03 20:03:53 +02:00
|
|
|
#!/usr/bin/env bash
|
2023-10-03 19:03:44 +02:00
|
|
|
cp html_resources/index_template.html index.html
|
|
|
|
|
|
|
|
function genlinks {
|
2023-10-08 23:05:00 +02:00
|
|
|
for FILE in $(find . -maxdepth 1 -type f -name "*-*.html"); do
|
2023-10-03 19:03:44 +02:00
|
|
|
echo -ne " <li><a href=\"$FILE\">\n"
|
|
|
|
grep -oe "<title>.*</title>" $FILE | sed -e 's/<title> / /;s| </title>||'
|
|
|
|
echo " </a></li>"
|
|
|
|
done
|
|
|
|
}
|
|
|
|
|
|
|
|
sed -ne '/ <!-- chapter_list_here -->/q;p' html_resources/index_template.html > index.html
|
|
|
|
# for some fucking reason, there is no way to tell wc to only print the number so we do cat abuse to get rid of the filename
|
|
|
|
LINE_NUMBER=$(("$(cat index.html | wc -l)"+2))
|
|
|
|
genlinks >> index.html
|
|
|
|
tail -n+$LINE_NUMBER html_resources/index_template.html >> index.html
|