change file extension

[foker500]

I'm a newbie so please excuse my ingnorance. I have serveral hunderd files in a folder and need to change the file extension from '.pnt' to '.txt'. Any suggestions?

Thanks

[ilikepython]

I'm a newbie so please excuse my ingnorance. I have serveral hunderd files in a folder and need to change the file extension from '.pnt' to '.txt'. Any suggestions?

Thanks

Ok, I'm not exactly sure about this but I think you have to use the 'os' module somehow like this:

files = os.listdir(os.curdir)
for file in files:
    if '.pnt' in file:
        newfile = file.replace('.pnt', '.txt')
        os.rename(file, newfile)
 

not exactly sure though.

[ghostdog74]

another way

import os,glob
os.chdir(dir)
for fi in glob.glob("*.pnt"):
   os.rename(fi, fi[:-3] + "txt")     
 

[chikatambun]

os.chdir(value)
for aFile in glob.glob("*.php"):
    base = os.path.splitext(aFile)[0]
os.rename(aFile, base + ".null")
 

[dwblas]

Note that you should not use "file" as a variable name. It over-writes Python's built in function with the same name https://docs.python.org/2/library/functions.html#file