Re:/usr/bin/time: not the command you think you know
by floatboth on Tuesday March 07, 2017 @12:02PM
(#13812100)
Wow — that is extremely surprising. I did not expect that behavior at all. Who the hell thought it was a good idea to let a builtin command absorb the pipe symbol?!
[ Parent
| on HN ]
There are no comments on this comment yet.