When I press the Super key I see the Overview window. From here I can search current open windows, files, Software Senter, etc, but I couldn't find how to make it search in Google. Looks like there should be a search provider for it, but I couldn't find it in GNOME Extensions portal.
Am I missing something?
My setup is GNOME Shell 3.32.0 (Ubuntu)
The google search provider is available in the gnome extensions portal here.
It's reported to work with gnome-shell v.3.18.5 but I personally haven't tested it.
One alternative is the Web Search Dialog extension available here or on the project page here
It's pretty old and hasn't been updated in years but you might be able to get it to work by changing the version number in metadate.json
Another alternative would be to simply do your web searches from within your favorite browser. Personally I've found this approach to be highly effective.
A third alternative would be to develop your own using the data available here.
There is a GNOME Shell extension on GitHub called Web Search Provider for GNOME Shell that lets you add different web search providers.
Note that adding Extensions from non trusted sources is unsupported, not recommended and you may encounter stability and/or security issues.
Now if you still want to set it up, download the extension:
Edit
config.json
file:And replace its content with the following:
Restart GNOME Shell: Alt+F2, r, then Enter. Or logout and login again (for Wayland).
Enable the Web Search Provider extension in GNOME Tweaks or at https://extensions.gnome.org/local.
Now a Google Search entry should appear whenever you use GNOME Shell search.
Tested on Ubuntu 19.04