Comment 14 for bug 596811

@ Marco:
I found this guide to do different step by step to rename in Terminal, just follow it line by line, and you wont regret you bought a GoPro... :-)

http://stackoverflow.com/questions/21541009/how-to-rename-multiple-files-in-terminal-linux

Just do one line at a time in terminal when you are in the current directory for your files.

n=1
for i in *.jpg; do
    p=$(printf "%04d.jpg" ${n})
    mv ${i} ${p}
    let n=n+1
done