convert all videos to mp3s

all you need is bash and ffmpeg
for z in *.mp4; do ffmpeg -i "$z" "${z%.*}.mp3"; done
note the quotes, they escape the file names, so you can use it on files with spaces in filename, it also cuts out everything after a dot and puts mp3 after it, this way ffmpeg knows that you needed mp3s