/ Published in: Bash
Copy every file with .dist in the end to a new file without .dist
Expand |
Embed | Plain Text
Copy this code and paste it in your HTML
for f in *.dist; do cp $f `basename $f .dist`; done