Advanced Search

Change extension of a group of filenames

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

Expand | Embed | Plain Text

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.