title |
---|
Git Repositories |
I try to host Git repositories myself, as far as possible. These pages are auto-generated from those repos:
set -e
set -o pipefail
echo "Adding links to repos index.html" 1>&2
find . 1>&2
function genEntry {
echo "<li>"
echo "<a href=\"/projects/repos/${1}.html\">"
echo "$1"
echo '</a>'
echo '</li>'
}
function genList {
echo '<ul>'
while read REPO
do
NAME=$(basename "$REPO" .html)
echo "Found repo '$NAME'" 1>&2
genEntry "$NAME"
done < <(find "$repos" -type f -o -type l | sort)
echo '</ul>'
}
genList | pandoc -f html -t json