Création
d'entreprise
Posez votre question Signaler

Ajout de pages man

Guru0 51Messages postés 6 octobre 2003Date d'inscription - Dernière réponse le 27 janv. 2009 à 00:38
Bonjour,

J'ai installé un utilitaire unix (top), en créant un répertoire ou il a copié ses man pages (/usr/local/man/man1) mais quand j'invoque la commande :
man top
je reçois l'erreur suivante :
ERROR: Manual entry does not exist for page top

comment je peux ajouter ces man pages ?

Merci d'avance de votre aide
Lire la suite 

Ajout de pages man »

6 réponses
Réponse
+0
moins plus
kilian 8802Messages postés 19 septembre 2003Date d'inscription 2 juillet 2011Dernière intervention 24 nov. 2005 à 09:04
Salut,

Et si tu lances la commande mandb ?

 Ajouter un commentaire - Site web
Guru0 - 24 nov. 2005 à 09:12
salut,
la commande mandb n'existe pas sous unix svr4
kilian - 24 nov. 2005 à 09:26
Oups pardon...
Tu n'as pas une petite section sur la mise à jour de la base de données des pages man avec la commande man man
Ajouter un commentaire
Réponse
+0
moins plus
jipicy 39795Messages postés 28 août 2003Date d'inscription 5 janvier 2012Dernière intervention 24 nov. 2005 à 09:59
Salut,

Regarde du côté de "manpath" (man man) ou plus simplement rajoute la directive :
MANPATH /usr/local/man
dans le fichier "/etc/man.config"

Ajouter un commentaire
Ajouter un commentaire
Réponse
+0
moins plus
Guru0 51Messages postés 6 octobre 2003Date d'inscription 25 nov. 2005 à 09:13
Bjr à tous;

J'ai essayé tout ça mais ça ne marche pas.
Mais c'est pas grave la touche h me permet
d'avoir l'aide de top.

Ajouter un commentaire
jimmies - 27 janv. 2009 à 00:38
Essaye ca
export MANPATH=$MANPATH:/usr/local/man/man1
Ajouter un commentaire
Posez votre question
Ce document intitulé « ajout de pages man » issu de CommentCaMarche (www.commentcamarche.net) est mis à disposition sous les termes de la licence Creative Commons. Vous pouvez copier, modifier des copies de cette page, dans les conditions fixées par la licence, tant que cette note apparaît clairement.
Dossier à la une
5 extensions si vous voulez revenir à l'ancien Facebook