On 2011-06-15 09:02, iki sham wrote:
> One of the GNOME 3 tweaking guides on the net talks about how to change the
> search engines used. I don't have the link to it though.

Thanks. This command can be used as an ugly workaround:

$ sudo rm /usr/share/gnome-shell/search_providers/*

However, whenever one upgrades gnome-shell, the files will
reappear.
_______________________________________________
gnome-list mailing list
[email protected]
http://mail.gnome.org/mailman/listinfo/gnome-list

Reply via email to