Bash scripts
From wikiluntti
Introduction
Some simple but effective bash scripts that has been useful.
Replace the extension of files
Converts all mp3's to opus files in a directory
https://github.com/markkuleino/bash-scripts/blob/main/convert_replaceExtension.sh
