[linux] Re: Bufferlengte van een redirect aanpassen

[Wybo Dekker]

On Thursday 21 February 2008 14:02:26 Fred Mobach wrote:
> On Wednesday 20 February 2008 13:26, Wybo Dekker wrote:
> > On Tuesday 19 February 2008 22:23:52 Roeland Th. Jansen wrote:
> > > On Tue, Feb 19, 2008 at 09:24:56PM +0100, Wybo Dekker wrote:
> > > > is tail -f hier geen oplossing?
> > >
> > > less kan dat ook trouwens; als je dan nog wil terug scrollen, wat
> > > tail niet kan....
> >
> > Hoe eigenlijk? In mijn voorbeeldje lijkt het niet te werken, ook niet
> > als ik F geef. Het werkt wel als ik ipv "echo -n" alleen "echo"
> > gebruik...
>
> Wellicht komt dat omdat bij echo de "-n" het uitvoeren van de linefeed
> onderdrukt. En een flush soms getriggerd wordt door zo'n linefeed. Zie
> bijvoorbeeld --line-buffered bij grep.

ja, inderdaad, en dat is dus het verschil tussen less en tail -f; die laatste 
heeft geen linefeed nodig.

-- 
Wybo