Change extension of a group of filenames


/ Published in: Bash
Save to your folder(s)



Copy this code and paste it in your HTML
  1. for i in *.txt; do mv $i ${i%%.txt}.html; done

URL: http://www.shell-fu.org/lister.php?id=140

Report this snippet


Comments

RSS Icon Subscribe to comments

You need to login to post a comment.