Linux how to change the file extensions for multiple files in a directory
Linux, Ubuntu August 8th, 2007Where source is old extension and dest is new extension, in terminal type:
for x in *.source; do mv “$x” “${x%.source}.dest”; done
Powered by ScribeFire.

September 13th, 2007 at 8:19 pm
rename ’s/old$/new’ *.old
way easier