Pages du manuel de commande de lancement rapide à partir du menu d'aide du terminal
La prochaine fois que vous êtes coincé à essayer de comprendre une commande de terminal, ou peut-être que vous essayez simplement d'en apprendre une nouvelle, n'ayez pas peur de demander de l'aide… à partir du menu d'aide des applications OS X Terminal. Oui sérieusement, c'est parce que le menu Aide de l'application Terminal peut servir de lanceur de page man (manuel) pour toute commande, service ou binaire installé, tant qu'il est accompagné d'une page man, vous pouvez y accéder depuis le menu d'aide.
Mieux encore, vous pouvez accéder à une page de manuel de cette manière entièrement via une séquence de touches. C'est le moyen le plus rapide d'utiliser l'astuce instantanée de la page de manuel qui est cachée dans la fonction d'aide de Terminal.app:
- Depuis l'application Terminal, appuyez sur Commande+Maj+/ pour ouvrir le menu Aide via le raccourci clavier Aide qui est universel dans toutes les applications Mac
- Tapez la commande ou le service pour ouvrir une page de manuel, utilisez les touches fléchées pour accéder à l'élément approprié, puis appuyez sur Retour pour lancer la page de manuel appropriée dans une nouvelle fenêtre
Ici, nous utilisons la recherche d'aide pour trouver une page de manuel sur "launchctl", mais vous pouvez essayer n'importe quelle commande :
Les pages de manuel lancées de cette manière sont personnalisées dans une fenêtre de texte noir sur fond jaune, ce qui les rend faciles à lire et très faciles à identifier :
Bien sûr, vous pouvez également cliquer sur le menu Aide et rechercher une page de manuel de cette manière, puis utiliser le curseur pour sélectionner les pages de manuel de commande, mais pour de nombreux utilisateurs de la ligne de commande, l'approche de frappe susmentionnée sera probablement préférable car vous pouvez garder vos mains sur le clavier plus longtemps et être un peu plus rapide de cette façon.
Si l'approche du menu Aide n'est tout simplement pas pour vous, rappelez-vous que vous pouvez également ouvrir des pages de manuel directement en cliquant avec le bouton droit sur un nom de commande dans le terminal, qui offre également une option pour se lancer dans un page de manuel pour cette commande choisie. Ou vous pouvez suivre la voie à l'ancienne et taper "man" comme une sorte de dinosaure Unix, et c'est bien aussi.