Public bug reported:
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)
** Affects: gnome-shell (Ubuntu)
Importance: Undecided
Status: New
** Affects: gnome-terminal (Ubuntu)
Importance: Undecided
Status: New
** Tags: amd64 apport-bug bionic
** Also affects: gnome-shell (Ubuntu)
Importance: Undecided
Status: New
--
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:
New
Status in gnome-terminal package in Ubuntu:
New
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 : [email protected]
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp
