Contenu | Rechercher | Menus

Annonce

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#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" wink


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