Ici vous trouverez des astuces un peu impossible à classer. Du moins, sans page dédiée (par exemple sur Bash ou autre).

L’objectif ici est de faire usage d’une commande (au terminal) plus facilement. Les commandes peuvent être parfois complexes et dangereuses. J'ai appris cette technique sur le Fediverse (je ne sais plus de qui, malheureusement).

On se sert des commentaires de bash à la fin d’une commande pour la marquer, comme ceci:

$ echo "quelque chose de compliqué" # mon truc compliqué

Une fois la commande exécutée, elle est dans l’historique du shell (bash, zsh, etc).

Ensuite, on se sert du reverse search pour faire une recherche dans l’historique: ctrl+r.

On entre mon truc compliqué (le tag que vous avez mis auparavant) et vous trouverez la première occurence.

• Pour trouver la prochaine occurence: ctrl+r
• Pour revenir à la précédente: maj+ctrl+r