mersenneforum.org

mersenneforum.org (https://www.mersenneforum.org/index.php)
-   Software (https://www.mersenneforum.org/forumdisplay.php?f=10)
-   -   How to change Pxxxx.001 file to Pxxxx file? (https://www.mersenneforum.org/showthread.php?t=1812)

edorajh 2003-12-30 09:27

How to change Pxxxx.001 file to Pxxxx file?
 
How can I change Pxxxx.001 file (or any other 00n file) to Pxxxx file? On my home machine I can do that without problem (just click right mouse, rename file, and delete 001). But on my work machine I can't do that. Machine recognize 00n file as 00n type file, and I can't change that. Is there any other way I can change that?

S00113 2003-12-30 13:48

Re: How to change Pxxxx.001 file to Pxxxx file?
 
[QUOTE][i]Originally posted by edorajh [/i]
[B]How can I change Pxxxx.001 file (or any other 00n file) to Pxxxx file? On my home machine I can do that without problem (just click right mouse, rename file, and delete 001). But on my work machine I can't do that. Machine recognize 00n file as 00n type file, and I can't change that. Is there any other way I can change that? [/B][/QUOTE]
Unix: mv Pxxxx.001 Pxxxx
MS-DOS: ren Pxxxx.001 Pxxxx

markhl 2003-12-31 03:07

Re: How to change Pxxxx.001 file to Pxxxx file?
 
[QUOTE][i]Originally posted by edorajh [/i]
[B]How can I change Pxxxx.001 file (or any other 00n file) to Pxxxx file?[/B][/QUOTE]

In the Tools menu of Windows Explorer, go to Folder Options, choose the View tab, and clear "Hide extensions for known file types". Then you should be able to rename files freely.

edorajh 2003-12-31 12:30

Thanks! That should help. :smile:


All times are UTC. The time now is 03:59.

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2022, Jelsoft Enterprises Ltd.