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.
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.