Estoy intentando hacer un .bat que haga algo determinado, pero hace tanto tiempo que no toco el tema que no me acuerdo de los comandos. Seria algo asi:
Tengo en un directorio una serie de archivos: archivo1, archivo2, etc. Es decir el formato del nombre de los archivos seria NOMBRE+NUMERO+EXTENSION.
Lo que necesito es que el .bat copie ALEATORIAMENTE uno de esos archivos a esa mismo directorio con otro nombre.
O lo que es lo mismo, si el directorio contiene esto...
archivo1.ext
archivo2.ext
archivo3.ext
final.ext
...cada vez que ejecutaria el .bat el archivo final.ext fuese una copia de cualquiera de los otros tres.
Gracias de antemano