https://www.briganteggiando.it/2013/09/05/rinominare-velocemente-un-file-da-terminale/