https://www.geekyhacker.com/renaming-files-in-linux-terminal-in-batch/