Dans Mint, lorsque vous appuyez sur Ctrl+ Rdans n'importe quel terminal, vous obtenez une interface assez agréable pour la recherche inversée.
(Pour clarifier - je me réfère au polissage supplémentaire fourni dans Mint - l'interface utilisateur est une étape au-dessus de la recherche d'historique de base à laquelle je suis habitué dans Ubuntu et dans d'autres distributions)
J'aimerais ça sur mes boîtes Ubuntu.
Je ne sais pas s'il s'agit d'une fonctionnalité Mint ou Cinnamon, ou d'un outil tiers qui peut être installé.
La recherche sur Google n'a rien retourné ... existe-t-il un moyen d'installer cette fonctionnalité sur Ubuntu?
Menthe:
Ubuntu / autre:
man readline
:) Oh et en reverse-i-search
fait control-r
il semble.