Rename all *.gif files in a directory (prefix)
// My mind always seems to draw a blank when I want to do this sort of thing, so here's a concise little self-reminder
1 2 for file in $(echo *.gif); do mv ${file} prefix.${file}; done
