Ricerca di pagine man Home » Tutorials » Uso della Bash Come si possono ricercare parole chiave nelle pagine di manuale (man)? Per cercare tutte le pagine di manuale che contengono una stringa, si deve utilizzare il seguente comando: # man -k stringa [Invio] Ad esempio, se si vogliono ricercare le pagine di manuale relative all'avvio del sistema (boot) si darà il comando: # man -k boot [Invio] ExtUtils::Mkbootstrap (3pm) - make a bootstrap file for use by DynaLoader activate (8) - read/write flags marking active boot partition bootparam (7) - Introduction to boot time parameters of the Linux kernel initrd (4) - boot loader initialized RAM disk install-mbr (8) - install a Master Boot Record manager lilo (8) - install boot loader mkboot (8) - makes a bootdisk modules (5) - kernel modules to load at boot time pump (8) - configure network interface via BOOTP or DHCP protocol rc.boot (5) - directory for local or per-package boot scripts. rcS (5) - defaults used at boot time reboot (2) - reboot or enable/disable Ctrl-Alt-Del reboot (8) - stop the system. Come si convertono le pagine di manuale in PostScript? Il comando man, utilizzato con l'opzione -t permette di generare una pagina PostScript della pagine di manuale indicata: $ man -t pagina di manuale > file.ps [Invio] Esempio: $ man -t wget> wget.ps [Invio] Come si stampano le pagine di manuale? Se si volesse stampare la pagina di manuale di wget, si dovrà utilizzare il comando man seguito dall'opzione -t. Questo comando permette di generare un file PostScript che può quindi essere inviato alla stampante con il comando lpr: $ man -t wget> file.ps [Invio] $ lpr file.ps [Invio] accedi o registrati per inviare commenti Uso della Bash Dynamikteam.net ©2005