case_sensitive_filenames
:
Set to 1 if the underlying platform generally uses case sensitive filenames, or 0 otherwise. Note that this does not guarantee that specific file systems will respect this setting.
osname
:
The name of the operating system.
word_bits
:
Integer value of the number of bits in a machine word.
cvd_to_html ©2006-2007 Laurence Tratt