Bien sûr que j'utilise history, mais le truc à droite dont je parlais, c'est l'historique de ton clipboard (copier/coller), pas ton historique de terminal. Pour le bash, j'utilise la même méthode que toi : grep.
Bon apparemment, il y a des utilitaires d'historiques de clipboard sous Linux.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: iTerm2
Posté par Ontologia (site web personnel) . En réponse à la dépêche Quel terminal pour 2018 ?. Évalué à 1.
Ah d'accord :-)
Bien sûr que j'utilise history, mais le truc à droite dont je parlais, c'est l'historique de ton clipboard (copier/coller), pas ton historique de terminal. Pour le bash, j'utilise la même méthode que toi : grep.
Bon apparemment, il y a des utilitaires d'historiques de clipboard sous Linux.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker