Discussion :

[Tiéry]

Bonjour je viens de me mettre a linux avec Ubuntu et c'est assez laborieux
Mon probleme actuel concerne la commande man en effet beaucoup de commande ne sont pas répertorier, je viens par exemple d'installer le jdk et certaine commande sont absente:

man javac:
Aucune entrée de manuel pour java
See 'man 7 undocumented' for help when manual pages are not available.

alors que les pages de manuel se trouve bien sur mon disque mais dans un répertoire différent de celui du manuel

J'ai bien essayer de copier ces pages "sauvagement" là ou je voulais qu'elles soient mais je recoit le message d'erreur suivant:
cp: ne peut créer le fichier régulier `/usr/share/man/man1/........gz': Au cun fichier ou répertoire de ce type

Je voudrais donc savoir si il y a un moyen (a l'aide d'une autre application par ex) de mettre a jour les man pages ???

Merci

J'ai bien trouver les pages que je cherchais sur internet mais je desirerai les garder en local

[MarcG]

Modifie la variable MANPATH comme suit :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
export MANPATH=$MANPATH:/lechemin_des_mans_qui_manque

ceci dans ton fichier .bash_profile ou .bashrc

[Tiéry]

Merci ca marche, il me reste encore a réglé des probleme notament quand je tappe "manpath" ou "mandb", mais j'ai les manuels que je veux