2020-05-02 11:08:32 +02:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
|
|
if [ "$#" -ne 1 ]; then
|
|
|
|
|
echo "USAGE: $0 FILE"
|
2020-05-14 20:01:22 +02:00
|
|
|
exit 1
|
2020-05-02 11:08:32 +02:00
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
fullpath="$1"
|
2020-05-14 20:01:22 +02:00
|
|
|
dir=`dirname "$fullpath"`
|
|
|
|
|
filename=`basename "$fullpath"`
|
2020-05-02 11:08:32 +02:00
|
|
|
filename="${filename%.*}"
|
|
|
|
|
outfile="$dir/$filename""Shrunk.mp4"
|
|
|
|
|
|
|
|
|
|
echo "$outfile"
|
|
|
|
|
|
2020-05-02 11:16:05 +02:00
|
|
|
ffmpeg -y -i "$fullpath" -s ega "$outfile"
|
