Gracias por tu respuesta
Todavía no he probado el código por cuestión de tiempo.
El enlace para detectar el sistema operativo está en la FAQS de este foro, en la sección de Varios.
150.- Detectar Sistema Operativo
¿Cómo puedo saber el Sistema Operativo sobre el que está corriendo mi página?
En el ejemplo que das, redireccionas si detectas Linux, ¿Funciona para plataforma Mac? ¿También para los viejos PPC?
Gracias a tu respuesta de antemano.