Trova e installa il file man manualmente


13

Mi sembrano mancare alcune pagine man, in particolare gcc e g ++. Non aiuta a specificare la sezione. whereisnon elenca le pagine man per quei due, quindi penso che semplicemente non ci siano.

Con Google ottengo molto, ad esempio: http://linux.die.net/man/1/g++ (sembra essere un normale HTML ... o è markup della pagina man?)

Ho pensato che sarebbe stata una buona opportunità per imparare a sostituirli manualmente. Immagino che sto cercando un file gcc.1.gz?

Lo ottengo da GNU, da Debian o potrebbe essere automatizzato in qualche modo? Quanto lavoro viene messo in quei file - se ne ottengo uno, è probabile che sia corretto al 99% o differiscono molto con il tempo / l'architettura?


Per le pagine man di gcc, il pacchetto che desideri è gcc-doc.
jw013,

Risposte:


7

È necessario aggiungere i repository non-freee contribl'elenco delle fonti ed eseguirlo in apt-get updateseguito.

Ora puoi installare il gcc-docpacchetto che contiene le pagine man con:

apt-get install gcc-doc

Il problema è che la documentazione di gcc è rilasciata sotto la GNU Free Documentation License che è considerata non libera da Debian.


Sì, è stato così. Immagino che considerino i compilatori OK, perché non ricordo di averli installati esplicitamente da alcuna fonte specifica.
Emanuel Berg,

9

Molti progetti GNU, incluso GCC, concedono in licenza la loro documentazione sotto la GNU Free Documentation License . Esiste una controversia di lunga data tra la Free Software Foundation e il progetto Debian, che considera la GFDL non libera , principalmente perché può vietare la modifica di alcune sezioni della documentazione.

Per questo motivo, la documentazione di GCC non è inclusa nella distribuzione Debian stessa. È, tuttavia, distribuito dal progetto Debian come parte del repository "non libero". Che il repository non gratuito sia ufficialmente supportato da Debian ma non ufficialmente parte di Debian è il risultato di molti dibattiti e compromessi all'interno del progetto Debian.

È possibile cercare sul sito Web Debian un pacchetto contenente il file g++.1(selezionare "pacchetti che contengono file i cui nomi contengono la parola chiave", poiché la pagina man è effettivamente compressa così il nome del file g++.1.gz). Lo troverai nel pacchetto gcc-VERSION-doc , che è un meta-pacchetto nel repository contrib che dipende dal pacchetto gcc-VERSION-doc nel repository non libero.

Sul tuo computer, assicurati di avere il contrib e i repository non liberi abilitati. Il tuo /etc/apt/sources.listdovrebbe contenere una riga come

deb http://ftp.debian.org/debian squeeze main non-free contrib

o più righe come

deb http://ftp.debian.org/debian squeeze main
deb http://ftp.debian.org/debian squeeze contrib
deb http://ftp.debian.org/debian squeeze non-free

Se si modifica /etc/apt/sources.list, eseguire apt-get updatecome root in seguito. Una volta che hai questi repository nelle tue fonti, puoi usare apt-file per cercare il pacchetto contenente un file per nome. È necessario eseguire apt-file updatecome root dopo aver installato il programma o modificato l'elenco delle fonti.

apt-file search g++.1

Una volta trovato in quale pacchetto si trova il file desiderato (come indicato sopra, vuoi il g++-docpacchetto), usa apt-get install g++-doco qualunque sia il tuo gestore di pacchetti preferito.


Caspita, apt-file è davvero molto utile!
Emanuel Berg,

0

Potresti voler installare manpage per lo sviluppo, come:

$ apt-get install manpages-dev
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.