I comandi Linux: il manuale MAN | ALTRI capitoli | |||
Il problema di lavorare con la shell di Linux è la sterminata vastità di comandi a disposizione e, all'interno di ciascuno di questi comandi, la vastità delle opzioni disponibili. Davvero impossibile ricordare tutto! Ecco che Linux aiuta l'utente, mettendo a disposizione una vastissima guida, nella quale sono riportati tutti i comandi disponibili e, per ciascun comando, la sintassi esatta da utilizzare. Ogni programma ed ogni package che viene installato nel sistema, infatti, è accompagnato dalle sue pagine di manuale. Le pagine di manuale, solitamente, sono scritte direttamente dall'autore o dagli autori del programma al quale si riferiscono. L'insieme di queste pagine di aiuto è chiamato:
o pagine di manuale, abbreviate, spesso, nella locuzione:
Niente di straordinario, quindi, se il comando per poter consultare queste pagine di manuale si chiami:
Il comando
Il comando
Per conoscere tutte le opzioni disponibili per il comando
Il comando
equivalente al comando:
Ogni pagina di manuale ha disponibile al suo interno una breve descrizione. Il comando
oppure un'espressione regolare:
oppure un pattern, in stile shell, che accetta i caratteri jolly ( wildcard ):
In quali directory i comandi
In entrambi i casi, per conoscere i percorsi utilizzati nella ricerca dei manuali, è sufficiente eseguire il comando:
Le cosiddette " cat page " sono pagine di manuale preformattate, che, generalmente, sono 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 ( catpath ). Il comando
nelle directory:
Per sapere in quale file si trova la pagina di manuale di uno specifico comando, utilizzare l'opzione
oppure, utilizzare il comando
che stampa a video la posizione del file eseguibile e dei file di guida. L'opzione:
cerca solo i file binari;
cerca solo i file sorgente;
cerca solo i file di manuale. Per verificare, invece, se esiste una pagina CAT del manuale e dove si trova utilizzare l'opzione
crea o aggiorna le cache index delle pagine di manuale. Le cache contengono importanti informazioni sullo stato corrente del sistema di pagine di manuale, quali: dove trovare ciascuna pagina di manuale, cosa, ciascuna pagina del manuale, contiene nel record riservato al comando
Si trovano, normalmente, nella cache di sistema:
Di default,
forza
chiede a
crea solo le basi di dati dell'utente, anche se quest'ultimo ha i permessi per creare le basi di dati globali. Ora che sappiamo da dove il comando
Ci sono casi, come quello appena mostrato, in cui ad un comando sono state dedicate più pagine, all'interno del Manuale. Questo accade perchè il Manuale è composto da più sezioni ed un comando può esistere in più versioni. Le sezioni in cui è suddiviso il manuale sono:
Se, con il comando
In questo caso, il comando
Se quello che stiamo cercando è il file, sapendo che la descrizione dei file è contenuta nella sezione 5, sarà sufficiente specificare al comando
ed otterremo la descrizione del file
Se volessimo leggere tutte le pagine dedicate ad un comando, presenti in tutte le sezioni, basterà specificare l'opzione
Per passare da una sezione all'altra, sarà sufficiente premere il tasto di uscita:
Per avere la lista dei file del manuale dedicate al comando:
Per leggere, invece, la breve descrizione ( una riga ) di ciascuna pagina di manuale, dedicata ad un comando, è possibile usare il comando
Come per il comando
oppure un pattern, in stile shell, che accetta i caratteri jolly ( wildcard ):
|
||||
I comandi Linux: il manuale MAN | Le guide di .bit: contenuto originale |