Spero che la mia domanda non sia troppo banale, ma non ho mai avuto bisogno di saperlo prima.
In quale directory posso trovare i file delle pagine man, ovvero il file di testo di sola lettura aperto durante la digitazione man foo? Presumo che distro diverse possano conservarle in luoghi leggermente diversi, quindi se fa differenza eseguo Ubuntu 10.04.
Risposte:
Utilizzare manpathper visualizzare le directory utilizzate dal proprio sistema e per trovare una pagina manuale specifica di pippo .man --where --all foo
La posizione standard è /usr/share/mansecondo la Filesystem Hierarchy Standard ed /usr/manè generalmente un collegamento simbolico a quella directory.
Altre posizioni possono essere definite in /etc/manpath.configo /etc/man_db.conf(la posizione esatta varia). Ad esempio, / usr / local / share / man è quasi sempre incluso.
Inoltre, man cerca di trovare pagine di manuale per ogni directory specificata in $ PATH - per esempio, se hai aggiunto / opt / plan9 / bin a $ PATH, man cercherà automaticamente / opt / plan9 / man e / opt / plan9 / bin /uomo.
Se la $MANPATHvariabile di ambiente è impostata, tuttavia, sostituirà tutte le altre origini.
Nei file che terminano con .gz quando si utilizza whereis:
whereis man
produzione:
man: /usr/bin/man /usr/bin/X11/man /usr/local/man /usr/share/man /usr/share/man/man1/man.1.gz /usr/share/man/man7/man.7.gz
Esempio con grep:
whereis grep
produzione:
grep: /bin/grep /usr/share/man/man1/grep.1.gz
piccolo aggiornamento su come leggere questi file gz:
info /usr/share/man/man1/grep.info.gz
zcat /usr/share/man/man1/grep.1.gz | less
o se è nel formato name.number.gz:
zcat /usr/share/man/man1/grep.1.gz | less
# or more readable
man /usr/share/man/man1/grep.1.gz
whereis -m greplimiterà l'output solo alla posizione dei file della pagina del manuale.
whereisti dice la posizione di un programma, quindi farewhereis manti dirà dovemanè memorizzato l' eseguibile, ma non le pagine man stesse.