[sage] BSD printf

[Dirk Wetter]

On 9/26/18 12:05 PM, Martin Schulte wrote:
> Hallo Dirk!
> 
>>> Was passiert denn, wenn Du den Output von printf noch durch ein cat
>>> pipest?
>>
>> das gibt falsche Resultate und dauert ewig.
> 
> Die Zeitproblematik verstehe ich, die falschen Resultate noch nicht, aber
> ich werde mal forschen...

ich habe einfach nur cat genommen. Wahrscheinlich muss man cat -A
o.ä. beim GNU cat nehmen (BSD ist wieder anders).

Es ist dann immer noch das ~dreifache der Scanzeit --> KO-Kriterium.

Dirk