On Sat, Oct 17, 2015 at 11:19 PM, 積丹尼 Dan Jacobson <jida...@jidanni.org> wrote:
> >>>>> "DW" == Dennis Williamson <dennistwilliam...@gmail.com> writes: > > DW> Or just open a new terminal rather than interrupting an in-progress > search. > > I am on a device where opening a new terminal is a lot of trouble. > Can you run gnu screen? ^A-c will get you a new shell session in the existing terminal emulator (it will use a new terminal device, though, if that's what you care about.)