Man en PDF
Seguramente todos conocéis el comando Man. Para los que no sepan su función, man nos proporciona un manual del programa que indiquemos.
Si encuentra un manual que coincide con el programa que hemos indicado, lo muestra en pantalla. En caso contrario, nos avisa de que no hay ningún manual asociado.
Por poner un ejemplo, imaginamos que utilizamos el editor gedit, y queremos saber cómo podemos manejarlo desde la consola. Escribimos:
Este comando nos muestra en pantalla la información disponible sobre los comandos de gedit y su función. Este pequeño manual se muestra en la propia ventana del terminal. Ahora vamos a ver cómo hacer que el manual que nos muestra man se guarde en un archivo PDF. Simplemente escribimos:
Al ejecutar esta linea, se crea el archivo gedit.pdf en nuestra carpeta personal. Este archivo contiene los datos que nos muestra man, en formato PDF. Podemos definir el comando del que queremos ver el manual, y el nombre del archivo (y la ruta) en que se guarda.
Otro ejemplo. En este caso, queremos ver el manual del reproductor Totem. Y queremos que se genere en un PDF llamado manual_totem.pdf en nuestro escritorio. Para ello escribimos:
Puede ser útil si queremos enviar el manual por email, tenerlo guardado como referencia, etc. Un comando sencillo y práctico.
2378 suscriptores. ¡
26 ago 2008 a las 8:48
Muy buena entrada :D. Muchas veces da pereza ponerse a leer cosas por consola ya que no es muy cómodo hacerlo. Ahora ya si que no hay escusas para empaparse con los manuales de man ;)
26 ago 2008 a las 8:49
La verdad es que ni tan solo conocía el comando porque aun no me he acostumbrado a sacar partido de la consola, gracias por la información.
26 ago 2008 a las 8:58
Por cierto, me ha gustado tanto esto que me he creado una función en el .bashrc para ejecutarlo más fácil. La comparto con todos ;)
# Funcion para guardar una página man en pdf
# uso: manpdf
manpdf()
{
man -t $1 | ps2pdf – > $2
}
26 ago 2008 a las 8:59
Ups no han salido los argumentos porque iban encerrados entre corchetes y tendrá el blog algún tipo de filtro para evitar ataques de inyección. En fin el uso es: manpdf nombrecomando ficherosalida. Saludos!
26 ago 2008 a las 15:58
[...] Man en PDF Agosto 26, 2008 | En How to [...]
27 ago 2008 a las 3:17
Interesante receta. Pero aún lo sería más si existiera algún manual de man que diera información útil (entiéndase que tenga ejemplos). La mayoría de manuales son simples copias de lo que sale en “comando –help”. Siempre que tengo alguna duda tengo que acabar googleando. A ver si alguien es capaz de cambiar la fecha o la hora usando la información de “man date”.
16 sep 2008 a las 6:20
Exelente entrada, bastate util para poder revisar un manual comodamente.
Gracias!!!
11 dic 2008 a las 20:27
No tengo nada que decir excelente….. un 20 por eso.
13 dic 2008 a las 0:32
[...] Visto en: 120% Linux [...]