I believe the Terminal search provider only allows searching the titles of open terminals and command line prompts and maybe a bit more.
It is not a generic tool to search for command-line utilities like top. Therefore, I am closing this bug. ** Changed in: gnome-terminal (Ubuntu) Status: New => Invalid ** Changed in: gnome-shell (Ubuntu) Status: New => Invalid -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1812378 Title: Search provider of gnome-terminal does not work in gnome-shell Status in gnome-shell package in Ubuntu: Invalid Status in gnome-terminal package in Ubuntu: Invalid Bug description: Steps: 1. Make sure the search provider of Terminal is turned on in Settings -> Search 2. Press the super key to open Activities 3. Search for top Expected behaviour: Result from Terminal appears among the search results Current behaviour: Terminal provides no result Other: An old bug #1390224 to enable gnome-shell search provider ProblemType: Bug DistroRelease: Ubuntu 18.04 Package: gnome-terminal 3.28.2-1ubuntu1~18.04.1 ProcVersionSignature: Ubuntu 4.15.0-43.46-generic 4.15.18 Uname: Linux 4.15.0-43-generic x86_64 ApportVersion: 2.20.9-0ubuntu7.5 Architecture: amd64 CurrentDesktop: ubuntu:GNOME Date: Fri Jan 18 12:07:59 2019 InstallationDate: Installed on 2018-11-29 (49 days ago) InstallationMedia: Ubuntu 18.04.1 LTS "Bionic Beaver" - Release amd64 (20180725) SourcePackage: gnome-terminal UpgradeStatus: No upgrade log present (probably fresh install) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1812378/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp