2019-01-07 20:23:02 +01:00
|
|
|
#!/usr/bin/env bash
|
2018-01-14 14:33:41 +01:00
|
|
|
|
|
|
|
set -ex
|
|
|
|
|
|
|
|
pfad="${1%/*}"
|
|
|
|
mkdir -p ${pfad}/frames
|
|
|
|
|
|
|
|
while (( "$#" ))
|
|
|
|
do
|
|
|
|
|
2018-11-11 04:24:37 +01:00
|
|
|
cd "${1%/*}" # gehe ins Verzeichnis
|
2018-01-14 14:33:41 +01:00
|
|
|
|
2018-11-11 04:24:37 +01:00
|
|
|
FILENAME=${1##*/} # Dateiname ist alles ab dem letzten '/'
|
|
|
|
echo "$FILENAME"
|
|
|
|
# guck dir die Ausgabe erstmal an - wenn alles passt kannst Du das "echo" weglassen
|
|
|
|
ffmpeg -i "$FILENAME" -vf scale=320:-1:flags=lanczos,fps=10 frames/ffout%03d.png
|
|
|
|
shift
|
|
|
|
cd -
|
2018-01-14 14:33:41 +01:00
|
|
|
done
|
|
|
|
|
|
|
|
convert -loop 0 ${pfad}/frames/ffout*.png output.gif
|
|
|
|
#convert.sh <Ordner>/*.mp4
|
|
|
|
|