Optimiser l’utilisation de l’homme pour gagner en efficacité et en rapidité

Présentation

Nous utilisons généralement Google pour interroger les instructions de commande sous Linux, mais il existe en fait un meilleur moyen : il s'agit d'interroger les instructions détaillées et complètes d'utilisation de la commande via la page d'aide fournie avec Linux.

Les pages de manuel elles-mêmes sont plus anciennes que Linux, remontant aux débuts d'Unix. Grâce à ce Wikipédia, nous pouvons savoir que Dennis Ritchie et Ken Thompson ont écrit la première page d'aide en 1971. Les calculatrices de cette époque utilisaient encore des ordinateurs comme des fours, et les ordinateurs personnels n'étaient pas encore nés. La page d'aide du manuel possède également son propre ensemble de syntaxe bien conçue. Comme Unix et Linux, la page d'aide du manuel n'est pas statique. Elle évolue et se met à jour constamment, tout comme le noyau Linux.

Les pages d'aide Man sont divisées en différents types de contenu par des identifiants numériques :

Commandes utilisateur générales
Commande d'appel système
Fonctions de la bibliothèque
Fichiers et pilotes spéciaux
Format de fichier
Jeux et économiseurs d'écran
Divers
Commandes et démons de gestion du système

Cependant, les utilisateurs n'ont généralement pas besoin de savoir à quel type appartient la commande qu'ils souhaitent interroger.

La façon dont ces fichiers sont formatés semble un peu étrange à de nombreux utilisateurs aujourd'hui. Comme ils ont été initialement imprimés à l'aide de Trooff via une imprimante PostScript, les informations de formatage pour les en-têtes et la mise en page ont été incluses. Sous Linux, une méthode appelée groff est utilisée à la place.

Dans mon système Fedora, les fichiers liés aux pages d'aide man sont stockés dans des sous-répertoires sous /usr/share/man (par exemple, man1 stocke la première partie de la commande), et il existe d'autres sous-répertoires pour stocker les pages d'aide man traduire.

Si vous recherchez la page d'aide man pour la commande man dans Shell, vous verrez le fichier man.1.gz compressé par l'outil gzip. Pour interroger la page d'aide man, vous devez saisir une commande similaire à la suivante :

man man

Cet exemple affichera la page d'aide man pour la commande man. Cela décompressera d'abord le fichier de la page d'aide man, puis interprétera les instructions de formatage et affichera les résultats en utilisant less, de sorte que l'opération de navigation soit la même que dans less.

Toutes les pages d'aide de l'homme doivent afficher ces sous-sections : Nom, Synopsis, Description, Exemples, Voir, Aussi. Certains ajoutent également des sous-sections supplémentaires, telles que Options, Sortie, Statut, Environnement, Bogues, Fichiers, Auteur, Rapports, Bogues, Historique, Copyright.

Détails d'une page d'aide pour homme Afin de présenter plus en détail une page d'aide typique de man, utilisons la page d'aide de la commande ls pour l'analyser. Sous la section Nom, nous pouvons voir le contenu suivant :

.

ls - list directory contents

Cela me dira brièvement ce que fait la commande ls.

Sous le segment Synopsis, nous pouvons voir ce qui suit :

ls [OPTION]... [FILE]…

Tout élément placé entre crochets est facultatif. Vous pouvez simplement entrer la commande ls sans aucun paramètre. Les points de suspension après le paramètre signifient que vous pouvez ajouter autant de paramètres mutuellement compatibles que vous le souhaitez, ainsi que autant de noms de fichiers. Pour le paramètre [FILE], vous pouvez spécifier un nom de répertoire spécifique, ou vous pouvez utiliser le caractère générique *, comme cet exemple, qui affichera les fichiers .txt dans le dossier Documents :

ls Documents/*.txt

Sous la section Description, nous pouvons voir des informations plus détaillées sur cette commande, ainsi qu'une liste détaillée des fonctions de chaque paramètre de cette commande. Par exemple, la première option du paramètre -a de la commande ls, sa fonction Oui Afficher. tous les fichiers, y compris les fichiers/répertoires cachés :

-a, --all

Si nous souhaitons utiliser ces paramètres, utilisez soit leurs alias, tels que -a, soit leurs noms complets, tels que --all (deux tirets). Cependant, tous les paramètres n'ont pas de nom complet ni d'alias (par exemple, --author n'en a qu'un), et les deux noms ne sont pas toujours liés l'un à l'autre (-F et --classify). Lorsque vous souhaitez utiliser plusieurs paramètres, séparez-les par des espaces ou partagez un trait d'union -, et saisissez les paramètres dont vous avez besoin en continu après le trait d'union (n'ajoutez pas d'espaces). Par exemple, les deux exemples équivalents suivants :

ls -a -d -l
ls -adl

Cependant, il existe quelques exceptions à la commande tar. Pour des raisons historiques, vous n'avez pas besoin d'ajouter le trait d'union - lorsque le paramètre utilise un alias, les deux commandes suivantes sont légales :

tar -cvf filearchive.tar thisdirectory/
tar cvf filearchive.tar thisdirectory/

ls La section Description est suivie par Auteur, Signalement de bogues, Copyright, Voir aussi et d'autres sections.

La section Voir aussi fournira des pages d'aide liées à l'homme, vous pouvez y jeter un œil si vous n'avez rien à faire. Après tout, il existe de nombreux autres types de pages de manuel en plus des commandes.

Certaines commandes ne sont pas des commandes système mais sont spécifiques à Bash, comme alias et cd. Ces commandes spécifiques à Bash peuvent être consultées dans la page de manuel BASH_BUILTINS. Leurs descriptions sont plus concises que celles ci-dessus, mais le contenu est similaire.

En fait, vous pouvez obtenir de nombreuses informations utiles via la page d'aide du manuel, notamment lorsque vous souhaitez utiliser une commande que vous n'avez pas utilisée depuis longtemps et que vous avez besoin de revoir la fonction de cette commande. Dans ce cas, la simplicité très critiquée de la page de manuel pourrait en fait être meilleure pour vous.

---

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!