Rechercher et installer le fichier man manuellement

13

Il me semble manquer certaines pages de manuel, notamment gcc et g ++. Cela n'aide pas que je précise la section. whereisne répertorie pas les pages de manuel pour ces deux, donc je pense qu'elles ne sont tout simplement pas là.

Avec Google, j'obtiens beaucoup, par exemple: http://linux.die.net/man/1/g++ (semble être du code HTML ordinaire ... ou s'agit-il d'un balisage de page de manuel?)

J'ai pensé que ce serait une bonne occasion d'apprendre à les remplacer manuellement. Je suppose que je recherche un fichier gcc.1.gz?

Dois-je l'obtenir de GNU, de Debian, ou pourrait-il être automatisé d'une manière ou d'une autre? Combien de travail est mis dans ces fichiers - si j'en reçois un, est-il susceptible d'être correct à 99% ou diffèrent-ils vraiment beaucoup avec le temps / l'architecture?

Emanuel Berg
la source
Pour les pages de manuel gcc, le package que vous voulez est gcc-doc.
jw013

Réponses:

7

Vous devez ajouter les référentiels non-freeet contribà votre liste de sources et les exécuter apt-get updateensuite.

Vous pouvez maintenant installer le gcc-docpackage qui contient les pages de manuel avec:

apt-get install gcc-doc

Le problème est que la documentation gcc est publiée sous la licence de documentation libre GNU qui est considérée comme non libre par Debian.

Ulrich Dangel
la source
Oui, ça l'a fait. Je suppose qu'ils considèrent que les compilateurs sont OK, car je ne me souviens pas de les avoir installés explicitement à partir d'une source spécifique.
Emanuel Berg
9

De nombreux projets GNU, y compris GCC, concèdent sous licence leur documentation sous la licence de documentation gratuite GNU . Il y a une longue dispute entre la Free Software Foundation et le projet Debian, qui considère le GFDL comme non-libre , surtout parce qu'il peut interdire d'être modifié certaines sections de la documentation.

Pour cette raison, la documentation de GCC n'est pas incluse dans la distribution Debian elle-même. Il est cependant distribué par le projet Debian dans le cadre du référentiel «non libre». Le fait que le dépôt non libre soit officiellement supporté par Debian mais ne fasse pas officiellement partie de Debian est le résultat de nombreux débats et compromis au sein du projet Debian.

Vous pouvez rechercher sur le site Web Debian un paquet contenant le fichier g++.1(sélectionnez «les paquets qui contiennent des fichiers dont les noms contiennent le mot-clé», car la page de manuel est en fait compressée, le nom du fichier l'est donc g++.1.gz). Vous le trouverez dans le package gcc-VERSION-doc , qui est un méta-package dans le référentiel contrib qui dépend du package gcc-VERSION-doc dans le référentiel non libre.

Sur votre machine, assurez-vous que les dépôts contrib et non-free sont activés. Votre /etc/apt/sources.listdevrait contenir une ligne comme

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

ou plusieurs lignes comme

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

Si vous modifiez /etc/apt/sources.list, exécutez en apt-get updatetant que root par la suite. Une fois que vous avez ces référentiels dans vos sources, vous pouvez utiliser apt-file pour rechercher le paquet contenant un fichier par nom. Vous devez exécuter en apt-file updatetant que root après avoir installé le programme ou modifié la liste des sources.

apt-file search g++.1

Une fois que vous avez trouvé le package dans lequel se trouve le fichier (comme indiqué ci-dessus, vous voulez le g++-docpackage), utilisez apt-get install g++-docou quel que soit votre gestionnaire de packages préféré.

Gilles 'SO- arrête d'être méchant'
la source
Wow, apt-file est en effet très utile!
Emanuel Berg
0

Vous voudrez peut-être installer des pages de manuel pour le développement, comme:

$ apt-get install manpages-dev
Breno Leitão
la source