В gnome-shell поиск по вебу осуществляется с помощью google и wikipedia. Для того, чтобы добавить другие поисковые машины, нужно зайти в каталог /usr/share/gnome-shell/search_providers и добавить XML-файлы(Спецификация OpenSearch 1.1) с описанием поисковой системы. К сожалению, больше трех поисковиков добавлять нежелательно, так как начинает переезжать тема.

Предлагаю вашему вниманию получившиеся у меня файлы для поисковых машин:

Yandex, Rambler, поиск@mail.ru,Nigma.ru