Bash intégré sans saisie manuelle
Pourquoi certains programmes intégrés bash (tels que dirs, pushd ou help) ne comportent-ils pas d'entrées manuelles?
Ils ont. C'est man bash ou man builtins. Bash est le logiciel donc il a le manuel où ses commandes sont expliquées. Nous ne devrions pas avoir de manuel pour chaque commande que nous pouvons donner dans un logiciel. Par exemple, ftp possède les mêmes commandes que bash (par exemple cd) ou la même commande qu’un binaire (ls), il serait très mauvais de créer un manuel pour tous celles-ci. Et je n'ai pas parlé des commandes intégrées de Shell.
Il y a
man bash-builtins
ils sont également documentés dans
man bash
La raison pour laquelle ils n'ont pas de pages de manuel comme man help est probablement due à une confusion possible avec les commandes intégrées d'autres shell ou à une commande du même nom.
Je trouve généralement cela suffisant. Les deux pages de manuel ci-dessus sont plutôt longues et difficiles à naviguer.
help <command>
Pour accéder directement à la section Shell BUILTINS COMMANDS de la page de manuel bash, je définis l'alias suivant dans mon fichier $HOME/.bash_aliases.
alias man-builtin="man -P 'less -p ^Shell\ BUILTIN\ COMMANDS' bash"