Comment installer manuellement les pages de manuel pour Java JDK à l'échelle du système?
J'installe le Java JDK manuellement, en téléchargeant l'archive tar JDK de Java.com, en l'extrayant dans /usr/lib/jvm/jdk1.6.0_32 (également l'emplacement d'installation d'OpenJDK via apt), et en utilisant pdate-alternatives pour ajouter tous les Java binaires vers /usr/bin.
J'aimerais également installer les pages de manuel Java à l'échelle du système dans /usr/lib/jvm/jdk1.6.0_32/man/man1, en utilisant de préférence le même script de mise à jour-alternatives, mais vous ne savez pas comment.
J'ai essayé la liaison souple /usr/lib/jvm/jdk1.6.0_32/man/man1 comme /usr/share/man/man.Java, mais pas de chance, man Java ne fonctionne pas. Fonctionnement man --update et mandb ne semblent rien faire.
Quelqu'un sait comment installer manuellement les packages man?
Cela fonctionne, je ne sais pas si c'est la voie canonique cependant:
Lien logiciel /usr/lib/jvm/jdk1.6.0_32/man/man1 comme /usr/share/man/man10 (10 est le suivant dans la liste, il y a déjà /usr/share/man/man1-man9).
Vous ne savez pas quelle est la convention de dénomination pour /usr/share/man; pourquoi man10 fonctionne mais pas man.Java ou man20? Liaison en tant que /usr/share/man/man20 ne fonctionne pas non plus.
Voir script update-alternatives pour un exemple complet (dernière ligne pour le lien de la page de manuel).
Téléchargez le DOC d'ici et ouvrez avec le centre logiciel ou avec cette commande du terminal
Sudo dpkg -i <path to file_name>