Bug#864683: gnome-terminal: Integrate with gnome-shell search

[Carlo Marchiori]

Package: gnome-terminal
Version: 3.22.2-1
Severity: wishlist

Dear Maintainer,

what about integrating the command line history with the search functionality
provided by the gnome-shell?

For example. I want to switch rapidly between network proxy none and manual.
It's very quick to issue the commands from a terminal

gsettings set org.gnome.system.proxy mode 'none'
gsettings set org.gnome.system.proxy mode 'manual'

(quicker than opening the network manager applet).

Now, it would be even quicker if past commands appeared directly in the gnome-
shell search (I guess a search plugin has to be implemented), without opening
any terminal.



-- System Information:
Debian Release: 9.0
  APT prefers testing
  APT policy: (900, 'testing'), (800, 'unstable'), (500, 'stable'), (100, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 4.2.0-1-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_GB.utf8, LC_CTYPE=en_GB.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages gnome-terminal depends on:
ii  dconf-gsettings-backend [gsettings-backend]  0.26.0-2+b1
ii  gnome-terminal-data                          3.22.2-1
ii  gsettings-desktop-schemas                    3.22.0-1
ii  libatk1.0-0                                  2.22.0-1
ii  libc6                                        2.24-11
ii  libdconf1                                    0.26.0-2+b1
ii  libglib2.0-0                                 2.50.3-2
ii  libgtk-3-0                                   3.22.11-1
ii  libnautilus-extension1a                      3.22.3-1
ii  libpango-1.0-0                               1.40.5-1
ii  libuuid1                                     2.29.2-1
ii  libvte-2.91-0                                0.46.1-1
ii  libx11-6                                     2:1.6.4-3

Versions of packages gnome-terminal recommends:
ii  dbus-user-session [default-dbus-session-bus]  1.10.18-1
ii  dbus-x11 [dbus-session-bus]                   1.10.18-1
ii  gvfs                                          1.30.4-1
ii  yelp                                          3.22.0-1

gnome-terminal suggests no packages.

-- no debconf information