Pages : 1
#1 Le 15/10/2008, à 17:50
- shinn55
Créer une page man
Bonjour
Je suis novice sur linux, et Ubuntu en particulier.
Ma question est la suivante, j'aimerai savoir comment créer une page man.
je ne sais pas du tout comment faire, alors si quelqu'un pouvait essayer de m'expliquer le plus simplement possible comment créer une page man que je pourrais ouvrir à partir du terminal.
Merci d'avance de toutes vos futures réponses.
#2 Le 15/10/2008, à 18:38
- WW
Re : Créer une page man
Salut,
Pour créer une page de manuel :
-> Tu tape ta page dans un editeur de texte classique (gedit, kate, mousepad...).
-> ensuite tu dois connaitre la catégorie de ta page (voir sur wikipédia)
-> une fois la catégorie récupérée tu nomme ta page de manuel : NOM_PAGE.?
ou ? représente le numéro de la catégorie.
-> tu gunzip (avec file-roller) ce qui te donne NOM_PAGE.?.gz
-> enfin tu la copie dans un dossier du man (ex : sudo cp NOM_PAGE.?.gz /usr/share/man/man?)
Quand on sait c'est facile, mais qui n'a jamais été débutant.
Hors ligne
#3 Le 15/10/2008, à 19:22
- shinn55
Re : Créer une page man
Merci beaucoup de ta réponse.
Je vais peut-être passer pour un idiot, mais en fait le prof nous a demandé de faire un man sur la création d'un man. Donc je ne sais absolument pas dans quelle catégorie je doit le situer. Aurais-tu pas hazard une idée.
Et je supose que file-roller est un logiciel disponible automatiquement sur ubuntu ou par paquet.
En tout cas merci encore de ta réponse.
#4 Le 16/10/2008, à 10:18
- WW
Re : Créer une page man
Salut,
Le man du man (man man) est dans la catégorie 1 "Commandes utilisateurs".
Je pense que c'est la plus adaptée.
Et pour file-roller oui c'est dans Ubuntu. Mais c'est un exemple sur quasiment toutes les distributions tu as un gestionnaire d'archive qui est capable de gunziper.
En commande c'est gunzip.
Quand on sait c'est facile, mais qui n'a jamais été débutant.
Hors ligne
#5 Le 16/10/2008, à 10:33
- Hoper
Re : Créer une page man
pour compresser, il est quand meme plus logique d'utiliser le nom "gzip"
Mes tutos et coups de gueule :
http://hoper.dnsalias.net/atdc/
Mastodon: @hoper@framapiaf.org
Hors ligne
#6 Le 30/10/2008, à 09:40
- hunterkiller
Re : Créer une page man
J'ai des question avancees.
Tout d'abprd pourquoi la gzipper.
Ensuite une fois notre page de man prete je dois la mettre dans un dossier autre que usr/share/man.. un MANPATH=mon/path/ est bien la bonne procedure a suivre?
--
hunterkiller EPITA's student
HP:300GO atlon64live x2 NVDIA512 =>beryl a fond
ubuntu 7.10,*bsd ->user
Hors ligne
#7 Le 30/10/2008, à 10:37
- hunterkiller
Re : Créer une page man
Je fais un up avec une nouvelle question.
J'ai utilise des macro pour les fonts mais la commande groff -man -Tascii me genere un fichier sans la mise en forme de la font.
Est ce que quelqu'un pourrait m'indiquer merci
--
hunterkiller EPITA's student
HP:300GO atlon64live x2 NVDIA512 =>beryl a fond
ubuntu 7.10,*bsd ->user
Hors ligne
#8 Le 30/10/2008, à 15:58
- WW
Re : Créer une page man
Salut,
@hunterkiller les pages de man sont gunzippés dans la pratique je ne sais pas si c'est une obligation tu peux tester.
Sinon ce post devrait t'intéresser.
Quand on sait c'est facile, mais qui n'a jamais été débutant.
Hors ligne
Pages : 1