이상한 문자로 파일 이름 바꾸기

편집할 때 file.pl 대신 file.p;l로 파일을 저장합니다. 이제 이름을 바꾸려고 하면 다음과 같은 일이 발생합니다.

$ mv file.p;l /home/mc/file.pl
mv: missing destination file operand after 'file.p'
Try 'mv --help' for more information.

CLI에서 파일 이름을 바꾸는 방법은 무엇입니까?