I've got a folder with many (around 500) files, named like
roz001.mp3
roz002.mp3
...
Then I've got a .txt (called "names.txt") file formatted like
roz001 O korytnačke a opici
roz002 Vlk a líška
...
Basically, it goes like "(filename without extension)(space)(string with desired filename without extension)".
How can I rename these files using this list? I need to rename file "roz001.mp3" to "O korytnačke a opici.mp3" and so on. I don't really care how will this be accomplished - I have access to a terminal (I'm on a Mac) and I can also use Python, but I'm willing to use any means that can be used to do this.
Thank you in advance for all and any help.