Have you just downloaded a work PDF and suddenly found the file has the extension of a text file (TXT) or even no extension ...

If you want to change multiple file names, you can repeat step four. After that, the file extension will be changed. It should be noted that using Command Prompt can potentially alter your files ...