All Questions
1 question
3
votes
1
answer
2k
views
CLI line buffer: How to pipe to grep an output stream?
I have this command (for pomodoros):
play -n synth 25:00 pinknoise
I don't want to silent completely the output (-q option), just the header (grep don't work).
Normal output:
File Size: 94.3T
...
- 16.8k