16.5. Recherche rapide de commandes

Hier, j'ai consulté la page de manuel relative à une commande dont j'ai oublié le nom et je n'ai pas noté la référence. Comment puis-je retrouver la page de manuel de cette commande?

Il y a de fortes chances pour que la commande utilisée soit stockée dans un fichier appelé .bash_history. Par défaut, ce fichier stocke les 500 dernières commandes entrées à l'invite du shell.

Vous pouvez avoir un aperçu de l'historique de vos commandes en entrant history à l'invite du shell, mais les résultats défilent trop rapidement pour que vous puissiez lire chaque ligne.

Une autre façon d'afficher .bash_history consiste à utiliser un utilitaire tel que less. Tapez less .bash_history à l'invite du shell et le résultat s'affichera, une page à la fois. Pour passer à l'écran suivant, appuyez sur la [Barre d'espace]; pour revenir à la page précédente, appuyez sur la touche [b], et pour quitter, appuyez sur la touche [q].

La consultation du fichier .bash_history à la recherche d'une commande peut s'avérer une tâche fastidieuse. Il est également possible de rechercher des mots clés dans le fichier à l'aide de grep, un utilitaire de recherche performant.

Supposons que vous ayez consulté la page de manuel la veille, mais que vous ne pouvez plus vous souvenir de son nom. Pour rechercher la commande, tapez:

history | grep man

Le système affiche toutes les commandes entrées contenant le mot man.

Il existe de nombreuses manières d'utiliser l'historique des commandes. Pour d'autres conseils et astuces, reportez-vous à la Section 16.6.