I use the following: ------------------------------------------------------------------- # __version__ = '$Id: config.py,v 1.139 2001/04/06 08:04:01 hooft Exp $' # # Configurable GUI parameters (like colors) # i_am_a_developer=0 background='red' [...100 variables omitted...] xwindows=11 # System-level and User-level changes. _gl=globals().keys() import os for _filename in ["/usr/local/lib/nonius-config.py", os.environ["HOME"]+"/.nonius-config", "nonius-config"]: if os.path.exists(_filename): _filestatus=os.stat(_filename) _filemode=_filestatus[0] _fileuid=_filestatus[4] if (_fileuid==os.getuid() or _fileuid==0): if _filemode&002==0: execfile(_filename) else: print "WARNING: Skipped '%s': writeable by others."%_filename else: print "WARNING: Skipped '%s': owned by someone else."%_filename del _filemode,_fileuid,_filestatus del os,_filename # Test for obsoleted and/or unknown variables. for _key in globals().keys(): if _key in _gl or _key[0]=='_': pass elif _key=='userpc': print "WARNING: Configuration variable 'userpc' obsolete" print " please change your configuration files accordingly" else: print "WARNING: Configuration variable %s not known. Misspelled?"%_key del _gl if __name__=="__main__": k=globals().keys() k.sort() for name in k: if name[0]!='_': print name,"=",repr(globals()[name]) --------------------------------------------------- -- ===== rob at hooft.net http://www.hooft.net/people/rob/ ===== ===== R&D, Nonius BV, Delft http://www.nonius.nl/ ===== ===== PGPid 0xFA19277D ========================== Use Linux! =========
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4