Durante la ricerca in gnome-shell, ci sono due pulsanti nella parte inferiore dello schermo che possono essere usati per cercare con Wikipedia e Google.
C'è un modo per personalizzare questi? Se, diciamo, volessi sostituire il pulsante Google con uno per DuckDuckGo, come potrei procedere?
Risposte:
I provider di ricerca di Gnome-Shell sono descritti da file XML nella cartella /usr/share/gnome-shell/search_providers
Noterai due file XML: google.xml e wikipedia.xml
Consente di creare un nuovo provider di ricerca: copia il file google.xml come modello
11.10
sudo cp /usr/share/gnome-shell/search_providers/google.xml /usr/share/gnome-shell/search_providers/duckduckgo.xml
12.04
sudo cp /usr/share/gnome-shell/open-search-providers/google.xml /usr/share/gnome-shell/open-search-providers/duckduckgo.xml
Ora consente di aprire il file e modificare alcuni dettagli per effettuare ricerche con duckduckgo:
11.10
sudo nano /usr/share/gnome-shell/search_providers/duckduckgo.xml
12.04
sudo nano /usr/share/gnome-shell/open-search-providers/duckduckgo.xml
Modifica i seguenti tag XML:
<ShortName>DuckDuckGo</ShortName>
<Description>DuckDuckGo Search</Description>
<Url type="text/html" method="GET" template="http://www.duckduckgo.com/?q={searchTerms}"/>
L'unica parte difficile è scoprire come un motore di ricerca cerca - in duckduckgo ho cercato qualcosa - nella barra del titolo vedi come il provider di ricerca aggiunge i suoi termini di ricerca
risultato finale
Per vedere le modifiche, è necessario riavviare GNOME Shell premendo Alt + F2, digitando "r" e premendo invio.
Domande collegate:
Nel caso in cui qualcuno sia interessato a rimuovere tutti i motori di ricerca dalla schermata di overlay, l'utente asermax ha pubblicato l'estensione Disable Search sul sito Web GNOME Shell Extensions . Dai un'occhiata: https://extensions.gnome.org/extension/203/disable-search/
Va notato che questa estensione rimuove anche la barra di ricerca nell'angolo in alto a destra della schermata di overlay.