Group rename of files

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

Copy every file with .dist in the end to a new file without .dist

Copy this code and paste it in your HTML
  1. for f in *.dist; do cp $f `basename $f .dist`; done

Report this snippet


RSS Icon Subscribe to comments

You need to login to post a comment.