https://techyorker.com/how-to-rename-files-in-linux-using-the-command-line/