2023-12-11 17:00:05 +01:00
|
|
|
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
|
|
|
|
|
```
|
2024-01-03 15:14:24 +01:00
|
|
|
|
2024-12-10 18:53:01 +01:00
|
|
|
|
|
|
|
|
|
