Je vais désactiver tout ou partie des plugins de recherche Dash (étendues). Je peux le faire dans Dash GUI un par un (voir https://askubuntu.com/a/355523/103599 ) mais cela me semble peu pratique car 56 plugins sont maintenant installés. Par conséquent, je vais les désactiver à partir de la ligne de commande comme ceci:
gsettings set com.canonical.Unity.Lenses disabled-scopes "['more_suggestions-Amazon.scope', 'more_suggestions-u1ms.scope', 'more_suggestions-populartracks.scope', 'music-musicstore.scope', 'more_suggestions-ebay.scope', 'more_suggestions-ubuntushop.scope', 'more_suggestions-skimlinks.scope']"
Mais pour cela, j'ai besoin de connaître les noms de toutes les étendues, pas seulement Amazon, ebay, etc ... Comment faire?
find /usr/share/unity/scopes/ -name \*.scope -printf "%P "|sed -es':/:-:g'
répertorie toutes les étendues installées localement.
Avec
gsettings set com.canonical.Unity.Lenses disabled-scopes "[$(find /usr/share/unity/scopes/ -name \*.scope -printf "'%P',"|sed -es':/:-:g' -e's/,$//')]"
vous pouvez tout désactiver, vous pouvez donc simplement activer ceux que vous voulez. Vous devez avoir au moins applications-scopes.scope
activé pour utiliser le Dash pour gérer les étendues.