Forum général.général utilisation du "man"

Posté par  . Licence CC By‑SA.
Étiquettes : aucune
7
8
jan.
2022

Bonjour

J'ai pris l'habitude de faire des recherches sur le net plutôt que dans les pages du man. Mais je cherche à améliorer mon utilisation du man et à faire des recherches sur un terme précis dedans.

Par exemple, comment faire pour trouver les variables possibles à passer à PS1 (par ex: [\u@\h \W]\$) ?

avez vous des méthodes pour réussir naviguer au sein des pages? par exemple dans la partie "SEE ALSO" , y a t'il moyen de se déplacer vers les pages indiquées?

  • # pinfo

    Posté par  (site web personnel) . Évalué à 4.

    Comme je suis un vieil utilisateur d'unix, d'avant internet, je n'utilise que les pages man. L'outil pinfo permet de naviguer au sein des pages, plus facilement que man.

  • # la page de man recherchée est

    Posté par  . Évalué à 3. Dernière modification le 08 janvier 2022 à 15:44.

    Bonjour,

    PS1 est le prompt de ton shell

    Il est possible que tu as bash d'installé, donc je pencherai sur la page du manuel de bash

    ensuite il faut trouver la bonne section (spoiler : c'est PROMPTING)

    Amiralgaby#1847

    • [^] # Re: la page de man recherchée est

      Posté par  (site web personnel) . Évalué à 3.

      Je fais :

      $ man bash

      puis je tape /PS1 pour chercher le terme PS1 dans la page. En appuyant sur n, on passe à l'occurrence suivante (next).

      Je ne suis pas un pro de man, mais je peux toujours faire :

      $ man man

      pour les options, et

      $ man less

      pour les raccourcis clavier.

      • [^] # Re: la page de man recherchée est

        Posté par  . Évalué à 2.

        … puis je tape /PS1 pour chercher le terme PS1 dans la page. En appuyant sur n, on passe à l'occurrence suivante (next).

        … et si tu appuies sur N (ou Maj+n) ça reviendra sur l'occurence précédente

        Ce sont les fonctionnalités du pager less qui est en train d'afficher la page man que tu es en train de visualiser en ce moment.

        • [^] # Re: la page de man recherchée est

          Posté par  (site web personnel, Mastodon) . Évalué à 3.

          On peut aussi utiliser ? au lieu de / pour changer la direction de n et N. Ça marche aussi bien avec Less qu'avec More et d'autres. Dans les deux, on peut aussi marquer la ligne active et sauter à n'importe quelle ligne marquée…

          “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • # c'est less qui affiche les pages man

    Posté par  . Évalué à 5. Dernière modification le 08 janvier 2022 à 16:26.

    Bonjour

    C'est souvent le pager less qui est utilisé pour visualiser les page man
    et c'est un très bon investissement d'apprendre à utiliser les fonctionnalités de ce pager.

    Quand une page (d'un manuel, par exemple) est affichée par le pager less
    tu peux accéder à l'aide en ligne du pager less en tapant sur la touche h

    et tu pourras découvrir dans cette aide en ligne qu'il est possible de rechercher un motif
    en l'entrant juste après avoir appuyé sur la touche /

    Il est aussi possible, au moment où on lance la commande man
    de demander à ce que le pager less fasse directement la recherche

    Donc, pour voir le manuel de l'interpréteur bash (en US-ASCII)
    en demandant au pager less d'afficher directement la première occurrence du mot PROMPTING
    qui serait positionné au début d'une ligne :

    LANG=C man --pager='less -p "^PROMPTING"' bash

    mais si ton système est installé en français avec les pages du manuel traduites en français,
    ce sera le mot INVITES qu'il faudra rechercher :

    man --pager='less -p "^INVITES"' bash

    Je t'invite aussi à découvrir toutes les autres fonctionnalités du pager less
    car même en n'en utilisant que quelques unes, on gagne un temps fou.

    man less
    
  • # pages man en couleur

    Posté par  . Évalué à 8.

    Dans certaines distributions Linux,
    les pages man ne sont pas affichées avec des couleurs.

    Et c'est bien dommage,
    parce qu'avec des couleurs, la lecture des pages man est bien plus confortable.

    Alors, si besoin,
    tu peux ajouter ces quelques lignes dans ton fichier ~/.bashrc

    # Pager less en couleurs => man pages en couleurs
    #  Voir :
    #         man termcap
    #         man console_codes
    #
    export                             \
    LESS_TERMCAP_mb=$'\033[1;31m'      \
    LESS_TERMCAP_md=$'\033[1;38;5;74m' \
    LESS_TERMCAP_me=$'\033[0m'         \
    LESS_TERMCAP_se=$'\033[0m'         \
    LESS_TERMCAP_so=$'\033[1;44;33m'   \
    LESS_TERMCAP_ue=$'\033[0m'         \
    LESS_TERMCAP_us=$'\033[1;32m'

Suivre le flux des commentaires

Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.