Hi, On Thu, 2009-12-03 at 23:23 +0100, Pascal de Bruijn wrote: > Currently there is no registered operating system identifier for Linux > in general. Is this relevant in this day and age? Is there any CMM/CMS that does anything useful with this information? Regards, Anders Brander