I agree with this change, but I have feeling it wouldn't be backwards
compatible.

Would it be possible to check if terminal is real tty (so it's real user
and not pipes used by UNIX scripts) and use --no-universe by default if
it is piped into other process?

-- 
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1055766

Title:
  grep -R doesn't automatically search amazon

To manage notifications about this bug go to:
https://bugs.launchpad.net/ayatana-design/+bug/1055766/+subscriptions

-- 
desktop-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

Reply via email to