Come posso fare?
Lo so, sono comandi di base della bash, ma io non li ricordo a memoria.. (ancora)

Es.
Se lo STDIN fosse un file, farei:
codice:
tail -n 1000 STDIN > input.log
PS: Quante saranno le linee sullo schermo per il "make check" di glibc?