wav2mp3() {
ffmpeg -i "$1" -vn -ar 44100 -ac 2 -b:a 192k "${1%.wav}.mp3"
}
mov2mp4() {
ffmpeg -i "$1" -vcodec h264 -acodec mp2 "${1%.mov}.mp4"
}
mov2small() {
ffmpeg -i "$1" -filter:v scale=1280:-2 -c:a copy "${1}--small.mov"
}
mov2gif() {
ffmpeg -i "$1" -pix_fmt rgb24 -r 10 "${1}--small.gif"
}