jueves, 7 de mayo de 2009
comando MAN para los que se inicien
Seguramente todos conocen 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.
Puede ser útil si queremos enviar el manual por email, tenerlo guardado como referencia, etc. Un comando sencillo y práctico.
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.
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.
Etiquetas: Dato interesante
Suscribirse a Entradas [Atom]
