Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > linux.debian.user > #201519

Re: An appropriate directory search tool?

Show key headers only | View raw

On Sunday, October 21, 2018 02:52:15 PM David Wright wrote:
> On Sun 21 Oct 2018 at 13:11:16 (-0400), rhkramer@gmail.com wrote:
> > <quote>
> > rhk@s19:/rhk/ked1$ grep test - >| /tmp/a ; echo "and the output is" ; cat
> > /tmp/a one
> > two
> > test
> > one
> > two
> > test
> > ^C
> > rhk@s19:/rhk/ked1$ less  /tmp/a
> > rhk@s19:/rhk/ked1$
> 
> ^C is not the way to exit stdin; you should use ^D, like logging out.
> Unfortunately ^C has also lost you the contents of /tmp/a as the
> buffer wasn't flushed. (Use cat, rather than less, so we all see it.)
> In addition, if there are any filenames following - (stdin), it will
> also skip those. With ^D instead, those files will all be inspected
> in the same way, in regular order, to see if they any matching lines.
> No restarting required.

Ok, here is the new test (using ^D)::

<quote>
rhk@s19:/rhk/ked1$ grep test - >| /tmp/a ; echo "and the output is" ; cat 
/tmp/a
one 
two
three
test
one 
two
test
and the output is
test
test
rhk@s19:/rhk/ked1$ 
</quote>

> 
> > rhk@s19:/rhk/ked1$ grep -l test - >| /tmp/a ; echo "and the output is" ;
> > cat /tmp/a one
> > two
> > test
> > and the output is
> > (standard input)
> > rhk@s19:/rhk/ked1$
> 
> But now you can see that the succesful match meant that you didn't
> have to keep typing any more stdin because it was closed for you
> immediately after the match.
> 
> That's the idea of "short-circuit" operations; once a match is found
> in a file, the rest of it doesn't have to be read, however long the
> file is. That's a useful, but non-essential, efficiency.
> 
> But the warning is also necessary because you have to think about the
> process that's feeding stdin (when it's not you typing it in). That
> process might have expected stdin to remain open and writable much
> longer than it did, perhaps only closing it when *it* had finished
> doing whatever.

Thanks -- more to absorb ;-)

Back to linux.debian.user | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

An appropriate directory search tool? Richard Owlett <rowlett@cloud85.net> - 2018-10-19 17:10 +0200
  Re: An appropriate directory search tool? Roberto C. Sánchez <roberto@debian.org> - 2018-10-19 17:20 +0200
  Re: An appropriate directory search tool? Roberto C. Sánchez <roberto@debian.org> - 2018-10-19 17:20 +0200
  Re: An appropriate directory search tool? <tomas@tuxteam.de> - 2018-10-19 17:30 +0200
    Re: An appropriate directory search tool? Greg Wooledge <wooledg@eeg.ccf.org> - 2018-10-19 17:40 +0200
      Re: An appropriate directory search tool? <tomas@tuxteam.de> - 2018-10-19 17:50 +0200
      Re: An appropriate directory search tool? rhkramer@gmail.com - 2018-10-20 15:30 +0200
  Re: An appropriate directory search tool? David Wright <deblis@lionunicorn.co.uk> - 2018-10-19 17:50 +0200
    Re: An appropriate directory search tool? Greg Wooledge <wooledg@eeg.ccf.org> - 2018-10-19 18:10 +0200
      Re: An appropriate directory search tool? David Wright <deblis@lionunicorn.co.uk> - 2018-10-30 16:00 +0100
        Re: An appropriate directory search tool? David Wright <deblis@lionunicorn.co.uk> - 2018-12-01 18:20 +0100
  Re: An appropriate directory search tool? songbird <songbird@anthive.com> - 2018-10-20 00:40 +0200
  Re: An appropriate directory search tool? Richard Owlett <rowlett@cloud85.net> - 2018-10-20 11:40 +0200
    Re: An appropriate directory search tool? <tomas@tuxteam.de> - 2018-10-20 11:50 +0200
      Re: An appropriate directory search tool? Richard Owlett <rowlett@cloud85.net> - 2018-10-20 12:30 +0200
        Re: An appropriate directory search tool? Joe <joe@jretrading.com> - 2018-10-20 13:40 +0200
          Re: An appropriate directory search tool? Richard Owlett <rowlett@cloud85.net> - 2018-10-20 14:30 +0200
            Re: An appropriate directory search tool? Brian <ad44@cityscape.co.uk> - 2018-10-20 21:10 +0200
              Re: An appropriate directory search tool? Håkon Alstadheim <hakon@alstadheim.priv.no> - 2018-10-21 00:00 +0200
                Re: An appropriate directory search tool? Richard Owlett <rowlett@cloud85.net> - 2018-10-21 12:10 +0200
              Re: An appropriate directory search tool? Andrew McGlashan <andrew.mcglashan@affinityvision.com.au> - 2018-10-21 11:00 +0200
                Re: An appropriate directory search tool? <tomas@tuxteam.de> - 2018-10-21 11:20 +0200
        Re: An appropriate directory search tool? Roberto C. Sánchez <roberto@debian.org> - 2018-10-20 14:10 +0200
        Re: An appropriate directory search tool? John Crawley <john@bunsenlabs.org> - 2018-10-21 03:20 +0200
          Re: An appropriate directory search tool? mick crane <mick.crane@gmail.com> - 2018-10-21 07:30 +0200
          Re: An appropriate directory search tool? Richard Owlett <rowlett@cloud85.net> - 2018-10-21 12:30 +0200
            Re: An appropriate directory search tool? David Wright <deblis@lionunicorn.co.uk> - 2018-10-21 15:50 +0200
              Re: An appropriate directory search tool? rhkramer@gmail.com - 2018-10-21 16:40 +0200
                Re: An appropriate directory search tool? David Wright <deblis@lionunicorn.co.uk> - 2018-10-21 17:30 +0200
                Re: An appropriate directory search tool? rhkramer@gmail.com - 2018-10-21 17:50 +0200
                Re: An appropriate directory search tool? Curt <curty@free.fr> - 2018-10-21 18:40 +0200
                Re: An appropriate directory search tool? David Wright <deblis@lionunicorn.co.uk> - 2018-10-21 18:40 +0200
                Re: An appropriate directory search tool? rhkramer@gmail.com - 2018-10-21 19:20 +0200
                Re: An appropriate directory search tool? David Wright <deblis@lionunicorn.co.uk> - 2018-10-21 21:00 +0200
                Re: An appropriate directory search tool? rhkramer@gmail.com - 2018-10-21 23:50 +0200
              Re: An appropriate directory search tool? John Crawley <john@bunsenlabs.org> - 2018-10-22 03:20 +0200
                Re: An appropriate directory search tool? David Wright <deblis@lionunicorn.co.uk> - 2018-10-22 17:30 +0200
              Re: An appropriate directory search tool? Greg Wooledge <wooledg@eeg.ccf.org> - 2018-10-22 15:20 +0200
                Re: An appropriate directory search tool? David Wright <deblis@lionunicorn.co.uk> - 2018-10-22 17:30 +0200
                Re: An appropriate directory search tool? Greg Wooledge <wooledg@eeg.ccf.org> - 2018-10-22 17:50 +0200
        Re: An appropriate directory search tool? Curt <curty@free.fr> - 2018-10-21 12:00 +0200
      Re: An appropriate directory search tool? Joe <joe@jretrading.com> - 2018-10-20 13:30 +0200
        Re: An appropriate directory search tool? Richard Owlett <rowlett@cloud85.net> - 2018-10-20 14:30 +0200
    Re: An appropriate directory search tool? Étienne Mollier <etienne.mollier@mailoo.org> - 2018-10-20 12:30 +0200
      Re: An appropriate directory search tool? Richard Owlett <rowlett@cloud85.net> - 2018-10-20 14:40 +0200
        Re: An appropriate directory search tool? Dan Purgert <dan@djph.net> - 2018-10-20 15:20 +0200
        Re: An appropriate directory search tool? rhkramer@gmail.com - 2018-10-20 15:30 +0200

csiph-web