https://www.linuxandubuntu.com/home/how-to-rename-files-in-linux