Hi,

is there an easier way to rename a file than to copy it, save it as the
desired name, and kill afterwards the original file?

thanks,
Jos Vens