I have loads of tools for doing this in other programming languages but can't find equivalents in the various guides to batch file commands.
I need the simplest way, using standard dos commands and variables in a batch file, to rename or copy a file called "image.bmp" to a unique filename, preferably, though not crucially, with the same bmp extension.
My first thought was to use an unambigous date time construct (eg 20140710221521 from yyyymmddhhmmss)
but couldn't see any examples of how to do that. So then went looking for any other form of unique id generator.
So far I've found random number generators, sha1 generators and a few other examples all capable of creating unique strings but it's not at all obvious how, for example to make that sha1 string parser [http://www.robvanderwoude.com/files/sha1_php_bat.txt
] operate on the image.bmp file instead, capture the result and copy the file to a file of that name (with or without the bmp extension). And, in any case, that one and some of the others require the installation of php, which is definitely more hassle than the job's worth.