 
Subject
If you need to rename a substring of a bunch of filenames to something else, use a command like this:
for i in server*.html; do mv $i ${i/server/workstation} ; done
|
This changes all serverblah.html files to workstationblah.html. For more on BASH, see the BASH Manpage.
| People: | |
| Places: | |
| Things: | |
| Times: | |
|
|