"Jean Fredette" wrote

| The gawk looks good but does it do more than RandomNames?
|
https://www.howtogeek.com/57661/stup...n-a-directory/
|
| That script has the option to undo and to prepend to the file name.
| https://www.howtogeek.com/wp-content...andomNames.zip
|

I tried that script. It works fine. So it looks to me
like your problem is solved.