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


Comments

RSS Icon Subscribe to comments

You need to login to post a comment.