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

Simon McVittie smcv at debian.org
Sun Sep 30 18:10:18 BST 2018


Control: retitle -1 gnome-terminal: Integrate command-line history with gnome-shell search
Control: tags -1 + wontfix

On Mon, 12 Jun 2017 at 22:13:13 +0200, Carlo Marchiori wrote:
> what about integrating the command line history with the search functionality
> provided by the gnome-shell?

This is unlikely to be feasible, because command-line history is not
actually part of gnome-terminal: it's implemented by the shell that you
run inside gnome-terminal, usually bash or dash.

In general, the Debian GNOME maintainers do not have the resources to
implement new features or pursue feature requests upstream (and we would
probably not advocate feature requests upstream as effectively as you
would, because you are the person who wants the feature, and we are not).

    smcv



More information about the pkg-gnome-maintainers mailing list