Go to file
Leon van Kammen 97467d82c5 added set-x gif 2024-12-18 12:11:41 +01:00
.github/workflows add website 2024-01-03 15:16:03 +01:00
2023-12-11 first commit 2023-12-11 17:00:05 +01:00
assets background update 2024-05-30 13:56:06 +00:00
feature added debugging video 2024-12-18 11:41:06 +01:00
podcast added podcast 2024-12-10 16:49:07 +00:00
terminal added set-x gif 2024-12-18 12:11:41 +01:00
.gitignore main: work in progress [might break] 2024-08-26 18:18:08 +00:00
README.md pages: update documentation 2024-12-10 17:53:01 +00:00

README.md

place for media/recording related files (to embed/transcribe etc)

generate audio from mp4 files

To save space in the repo, just run this after cloning:

$ find $(pwd) -type f -iname '*.mp4' | while read mp4; do ffmpeg -i "$mp4" "$mp4.mp3"; done