CATMAN(8) | Utility per le Pagine di Manuale | CATMAN(8) |
catman - crea o aggiorna le pagine di manuale preformattate
catman [-dhV] [-M percorso] [sezione] ...
catman è usato per creare un insieme aggiornato di pagine di manuale preformattate dette anche cat page. Le cat page sono generalmente più veloci da visualizzare rispetto alle pagine di manuale originali, ma richiedono ulteriore spazio per essere memorizzate. La decisione di supportare le cat page è dell'amministratore locale, il quale deve fornire anche le directory adatte per contenerle.
Le opzioni disponibili a catman sono le gerarchie delle pagine di manuale e le sezioni da preformattare. Le gerarchie predefinite sono quelle specificate come globali nel file di configurazione di man-db e le sezioni predefinite sono gli elementi separati da `:' nella variabile d'ambiente $MANSECT oppure, se $MANSECT non è definita, un insieme predefinito in fase di compilazione all'interno di man. Fornendo a catman un insieme di nomi di sezioni separati da spazi bianchi le due precedenti liste di sezioni verranno ignorate.
catman fa uso della cache della base di dati index associata con ognuna delle gerarchie per determinare quali file hanno bisogno della formattazione.
Wilf. (G.Wilford@ee.surrey.ac.uk).
Fabrizio Polacco (fpolacco@debian.org).
Traduzione di Bortolozzo Giovanni (borto@pluto.linux.it)
2023-01-08 | 2.11.2 |