Revision as of 10:49, 24 March 2022 by Mol(talk | contribs)(Created page with "== Introduction == Some simple but effective bash scripts that has been useful. == Replace the extension of files == https://github.com/markkuleino/bash-scripts/blob/main/convert_replaceExtension.sh")