Extracting just the audio from big video files
29 July 2017
Update 24 Aug 2017: How to get the big video file from an Air Mozilla page.
Sign in if needed and go to the page with the video on it.
Control-I to open the page info window.
Open the "Media" tab in the page info window, and find the item with type "Video".
Click "Save As" to save the video.
Got a big video, and want a copy of just the audio for listening on a device with limited storage? Use Soundconverter.
soundconverter -b -m mp3 -s .mp3 long-video.webm
(MP3 patents are expired now, hooray! I'm just using MP3 here because if I get a rental car that lets me plug in a USB stick for listening, the MP3 format is most likely to be supported.)
Soundconverter has a GUI but you can use
batch mode from the shell.
for help. You do need to set both the MIME type,
-m, and the file suffix, with