regen-index.sh

#!/usr/bin/env bash

set -o errexit
set -o nounset

cd $(dirname $0)

echo -e "# Index\n" > index.md

echo -e "## Folien\n" >> index.md

find -type f ! -empty | xargs git ls-files -z | tr '\0' '\n' | \
  grep -vE "README.md|index.md" | grep -E "\.(pdf|txt|md)$" | \
  sed -E "s/tuebix-2019-(.*)/- [\1](tuebix-2019-\1)/" >> index.md

echo -e "\n## Audio\n" >> index.md

find -type f ! -empty | xargs git ls-files -z | tr '\0' '\n' | \
  grep -E "\.ogg$" | sed -E "s/tuebix-2019-(.*)/- [\1](tuebix-2019-\1)/" >> index.md