Jawaban:
Saya telah menemukan jawaban fossfreedom untuk membuat tombol pencarian DuckDuckGo di gnome-shell berguna dan saya telah menggunakannya sebagai dasar untuk menjawab pertanyaan ini.
Untuk membuat penyedia pencarian baru, salin file google.xml sebagai templat.
11.10
sudo cp /usr/share/gnome-shell/search_providers/google.xml /usr/share/gnome-shell/search_providers/askubuntu.xml
12,04
sudo cp /usr/share/gnome-shell/open-search-providers/google.xml /usr/share/gnome-shell/open-search-providers/askubuntu.xml
Ubah tag XML berikut dalam file askubuntu.xml :
<ShortName>Ask Ubuntu</ShortName>
<Description>Ask Ubuntu Search</Description>
<Url type="text/html" method="GET" template="/ubuntu//?q={searchTerms}"/>
Jika Anda telah melakukan semuanya dengan benar, Anda akan melihat tombol Tanya permintaan Ubuntu di ikhtisar.
<Url type="text/html" method="GET" template="http://askubuntu.com/search?q={searchTerms}"/>
(Gunakan string url ini sebagai gantinya, untuk menggunakan fungsi pencarian! - Penasaran, tidak ada yang menyebutkannya !!)