121 reputation
2
bio website github.com/…
location Madrid
age 34
visits member for 7 months
seen Feb 27 at 21:09
stats profile views 3

Dec
26
comment How can you trim files using the command line?
@ChrisDown Because /dev/null contains no data when you read, but /dev/zero contains infinte zeros. Oh, count=1, the number of bytes to write must not be zero.
Dec
25
comment How can you trim files using the command line?
You should read from /dev/zero: if=/dev/zero
Oct
21
awarded  Teacher
Oct
21
answered “Bookmarks” for bash
Oct
20
awarded  Supporter