On 2013-12-02 21:06, ratzi wrote:
> In principle the command line would be a mighty tool to rename files,
> but I just don't seem to know how the right commands,
> and google searches in that respect don't seem to be very elucidating.

I see you got the issue solved, but just in case:

krename - A Powerful Batch Renamer for KDE
gprename - A GTK2 batch renamer for files and directories

And there is another one I can not locate, like multiple move or
multiple rename.

Cheers / Saludos,

Carlos E. R.
(from 12.3 x86_64 "Dartmouth" at Telcontar)