potosi/website_templates
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

Added mark_dead_links again

Browse source
This commit is contained in:
Potosi 2023-12-22 17:56:40 +01:00
parent b6d1626fcb
commit 5575147671
1 changed files with 21 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

30
make.sh
View file

@ -2,7 +2,7 @@
set -e
export DATE="$(date +"%D")"
DATE="$(date +"%D")"
targets="wiki personal_site"
header_wiki() { cat<<EOF
@ -34,7 +34,20 @@ EOF
footer_personal_site() { echo "</html>"; }
header_media() { true; }
header_media() { cat<<EOF
<html>
<head>
<title>Potolandia | File Hosting</title>
<link rel="stylesheet" type="text/css" href="style.css"/>
</head>
<h1>Potolandia</h1>
<a href="index.html">main page</a>,
<a href="filelist.html">file list ($(find -- files/* | wc -l))</a>,
<a href="single_page.html">single page html</a>,
<a>Last updated on $DATE</a><hr />
EOF
}
footer_media() { true; }
md() {
@ -42,19 +55,16 @@ md() {
}
mark_dead_links() {
if ! [ "$#" = 1 ] ; then
echo "mark_dead_links: 1 arg needed"
exit 1
fi
if ! [ -f "mark_dead_links" ] ; then
cc -O3 mark_dead_links.c -o mark_dead_links
fi
cd html/wiki
cd "$1"
for f in $(find . | grep .html); do
printf "Marking dead links: %s \n" "$f"
(./../../mark_dead_links < "$f") > tmp
"$OLDPWD"/mark_dead_links < "$f" > tmp
mv tmp "$f"
done
cd "$OLDPWD"
}
generate_page() {
@ -76,9 +86,11 @@ generate_page() {
(echo "<li><a href="$fname.html"> $fname </a></li>") >> "$filelist"
(echo "<span>$fname</span><br />" ; md "$1/$f" ; echo "<hr>") >> "$singlepage"
done
if [ "$1" = "wiki" ] ; then
mark_dead_links html/wiki
fi
"$4" >> "$singlepage"
(echo "</ul><hr>" && "$4") >> "$filelist"
}
wiki() { generate_page wiki html/wiki header_wiki footer_wiki; }