（初稿 2019-12-29 - 転記・修正 2021-06-01 ) はじめに 動画ファイル（*.webm、*.mkv、*.mp4を想定）から、音声ファイル（mp3）を抜き出す方法。複数のファイルがある場合に、面倒なのでbashスクリプトを作成した。 なお、筆者の環境は、Debian Buster。 動…