After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 305421 - Add search function to terminal
Add search function to terminal
Status: RESOLVED DUPLICATE of bug 78963
Product: gnome-terminal
Classification: Core
Component: general
2.8.x
Other All
: Normal enhancement
: ---
Assigned To: GNOME Terminal Maintainers
GNOME Terminal Maintainers
Depends on:
Blocks:
 
 
Reported: 2005-05-25 11:13 UTC by Francesco Gigli
Modified: 2005-05-25 21:05 UTC
See Also:
GNOME target: ---
GNOME version: Unversioned Enhancement



Description Francesco Gigli 2005-05-25 11:13:37 UTC
it would be usefull to have the ability to search for text in the terminal like
we do on web browsers or text editors without having to use grep, less or
copy-paste to editor
Comment 1 Olav Vitters 2005-05-25 21:05:40 UTC
Thanks for the bug report. This particular bug has already been reported into
our bug tracking system, but please feel free to report any further bugs you find.

*** This bug has been marked as a duplicate of 78963 ***