8 ms·
They're on it. :) https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1055766 https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bu...
by drcube 14y ago
They're on it. :)
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1055766 https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bu...
- chipaca 14y agoI hate to point out the obvious, but for people who don't click the link: that bug was filed in irony (and by somebody who didn't "get" the home lens as a global search tool, but that perceptual problem is ours more than it is anybody else's). The global search functionality could be queried from the commandline (by writing a tool that talked to the backends over dbus, as the dash does), and I half expect somebody to implement a kludgy version of "grep" that did exactly that, it is in no way something we're going to ever ship.