> I am looking at ctypes and it might do what I need but I can't figure > out a way to convert a Python File object to a C FILE pointer (which is > the needed argument for getmntent). > > Any ideas? I think you are supposed to pass the pointer to getmntent that you obtained from setmntent (likely asking for read-only access). Regards, Martin