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
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 comma
2 matches
Mail list logo
