LinuxTuts: cómo usar man

Bien, hoy vamos a aprender a usar el comando "man". Este comando es una herramienta de sistemas Unix que se utiliza para documentar y aprender sobre comandos, archivos, llamadas de sistema, etc., en un sistema operativo tal como GNU/Linux.

Actualmente se basa en groff y es el sistema más utilizado para la documentación en sistemas Unix, aunque son pocas las características útiles en comparación con el relativamente reciente comando info, que cuenta con características como enlaces que facilitan la interfaz de usuario, ya que al visitar la documentación relativa a un comando se puede saltar a otra página sin tener que salir y ejecutar nuevamente el programa, que es el caso de man. (alguna línea extraída de la wikipedia)

 

La complejidad de uso es alta, intentaré explicarlo lo mejor que pueda:

 

Abrimos un terminal y ponemos

 

$ man [comando]

 

Y hasta aquí el tutorial de hoy. Hasta pronto linusocios.

Receta: masa de pizza

Bueno, turno de una receta muy básica que sirve como punto de partida a otras mil.

Con estos ingredientes obtendremos para dos pizzas tamaño bandeja de horno (vamos, grandecitas).

Masa de pizza

Ingredientes:

• 500g de harina
• 25 ó 30 g de levadura fresca (de panadería, también se puede comprar en sitios como Mercadona, refrigerada)
• Un par de cucharadas de aceite de oliva
• Una cucharadita de sal

Preparación:

Colocamos la harina donde queramos trabajar la masa (yo prefiero hacerlo en un bol grande pero si lo prefieres lo puedes hacer en una mesa) y hacemos un pequeño agujero en el centro del montón, en plan miniatura del Teide.

Disolvemos la levadura en 10 cl de agua templada y la añadimos en el agujero de la harina junto con el aceite, la sal y otros 10 cl extra de agua templada. Mezclamos todo y trabajamos la masa hasta obtener una bola homogénea.

 

Si vemos que la masa queda muy seca y se empieza a romper añadimos un poquito más de agua para trabajarla y si por el contrario se nos queda pegada mientras la trabajamos, añadimos un poco más de harina.

Partimos en dos la bola y las colocamos dentro de un bol/plato hondo cubierto de film en un lugar templado (en invierno al lado de los radiadores queda perfecto). Las dejamos reposar de media hora a 45 minutos y veremos como doblan su tamaño.

Ahora ya están listas para ser extendidas y cubiertas con los ingredientes que quieras para posteriormente, hornearlas.