Massive change of file extension (bash)

for file in *.txt; do mv "$file" "${file%.txt}.xml"; done
Change the file extension in batch. Useful to create output file names with same input name but distinct extension by including logic inside the loop

2019-10-24 04:35:10

1 Alternatives + Submit Alt

What Others Think

are there any recent updates with hair extensions philadelphia?
looneyhans · 28 weeks and 5 days ago
Looked great afterward. baby photography Thank you so much, amazing job
idasanka · 24 weeks ago
private investigator fresno Can you tell me a bit more, please?
yeoyeo · 22 weeks and 3 days ago
Looked great afterward. Thank you so much, amazing job fly
sammm · 19 weeks and 2 days ago
You should try service as it is a great writing service. I order all my college papers only here because it is cheap and safe! You should try this service.
TerrySmith · 7 weeks and 2 days ago

What do you think?

Any thoughts on this command? Does it work on your machine? Can you do the same thing with only 14 characters?

You must be signed in to comment.

What's this? is the place to record those command-line gems that you return to again and again. That way others can gain from your CLI wisdom and you from theirs too. All commands can be commented on, discussed and voted up or down.

Share Your Commands

Stay in the loop…

Follow the Tweets.

Every new command is wrapped in a tweet and posted to Twitter. Following the stream is a great way of staying abreast of the latest commands. For the more discerning, there are Twitter accounts for commands that get a minimum of 3 and 10 votes - that way only the great commands get tweeted.


Subscribe to the feeds.

Use your favourite RSS aggregator to stay in touch with the latest commands. There are feeds mirroring the 3 Twitter streams as well as for virtually every other subset (users, tags, functions,…):

Subscribe to the feed for: