It might be something fishy with my machine, with:
        python -c "print('0'*4097)" | tr 0 1 | head -c 10
I get the broken pipe on my laptop, but on none of my other machines running 
arch...

Can't reproduce either (also on Arch), so +1 that it is a specific issue of your machine.

Reply via email to