Simple tool to massively rename files from the command line on GNU/Linux based systems:

And in particular, changing the extension of a file:

rename 's/\.xyz$/.abc/' **

Thanks Abhishek Prakash, I wished I could find your Fediverse account.

Sign in to participate in the conversation
Share freely and wisely @ Brussels

If you are a babelut or if you want to read from a local or worldwide babelut, feel free to join this instance and the Fediverse :)