Para sistemas con grub y arranque dual con Windows.
La idea es automatizar el reinicio desde Linux a Windows.
Este script re-inicia el ordenador marcando Windows como opción predetermida del siguiente reinicio. Aún hay que esperar el tiempo de espera configurado.
Convierte una página del manual en un archivo PS o PDF.
Puede usarse como un script o como una función (por ejemplo incluyéndolo desde .bashrc). Cuando se incluye se declaran las funciones man2ps y man2pdf.
En caso de usarlo como script, si se crea un enlace simbólico llamado "man2pdf" se puede usar man2pdf sin más argumentos que la página del manual buscada para convertir en PDF.
