Bash scripts: Difference between revisions
From wikiluntti
(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") |
(No difference)
|
Revision as of 20:49, 24 March 2022
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
