J'ai actuellement le dernier Ubuntu 12.10 installé sur mon ordinateur portable. Habituellement, j'utilise l'application Launchy pour avoir un accès rapide à n'importe quelle application / config / fichier, etc. J'essaie maintenant de m'habituer à Dash, qui est censé être le moyen par défaut de faire de telles choses dans les versions récentes d'Ubuntu. La différence entre l'utilisation de Launchy et Dash est la suivante:
Launchy: Alt + Espace -> Shell Launchy affiché instantanément -> tapez votre demande -> ouvrez la cible
Dash: SuperKey -> PERIOD -> Dash s'affiche -> tapez votre demande -> PERIOD -> naviguez avec les boutons fléchés entre les résultats -> ouvrez le résultat souhaité
Un autre problème. Quand je tape le terme "rythme" (qui est mal orthographié dans "Rhythmbox") ce qui est affiché dans ces 2 coques:
Launchy: 1 résultat, qui est Rhythmbox. Les lettres «r», «y», «t» et «h» sont mises en surbrillance.
Dash: 2 résultats, qui sont des MP3 d'Amazon et sont complètement hors de propos pour ma demande
Existe-t-il un moyen de modifier le Dash pour me permettre de l'utiliser comme j'utilise Launchy avec les mêmes performances et résultats?