Rofi est un moteur de recherche flou pour Linux (sélectionnez rapidement une entrée parmi un ensemble d'entrées en tapant une sous-chaîne). fzf est un outil similaire pour le shell. Ceci est utile pour produire rapidement des interfaces GUI hacky.
Rofi est un moteur de recherche flou pour Linux (sélectionnez rapidement une entrée parmi un ensemble d'entrées en tapant une sous-chaîne). fzf est un outil similaire pour le shell. Ceci est utile pour produire rapidement des interfaces GUI hacky.