Sinon il existe d’autre applicatif qui accélère le travail sur linux comme locate et grep. Avec ces 2 outils tu peut trouver n’importe quel fichier et n’importe quel chaîne de texte.
Une dinguerie qui permet d’arrêter de cherché les paramètres de config dans des fichiers perdu car la doc pas jour :
En utilisant (à peu près) la même méthode avec le shell bash :
si, en utilisant la commande shopt, j’ai positionné à on l’option histverify :
mic@deb12:~$ shopt -s histverify
mic@deb12:~$ shopt histverify
histverify on
mic@deb12:~$
Pour rappeler la dernière ligne de commande(s) que j’ai entrée
qui contiendrait la chaîne de caractère Logic
j’entre : !?Logic?
et en retour de commande, la ligne de commande entière s’affiche en dessous :
Pas tout-à fait puisque avec ta proposition (qui utilise 3 commandes supplémentaires), tu seras en plus obligé de sélectionner une des lignes retournée par grep pour pouvoir la copier/coller dans une ligne de commande de façon à pouvoir ensuite lancer son exécution.
Voir aussi :
le chapitre HISTORIQUE dans le manuel du shell bash :
man --pager='less -p "^HISTORIQUE"' bash
le chapitre DÉVELOPPEMENT DE L'HISTORIQUE dans le manuel du shell bash :