chiark / gitweb /
Merge branch 'master' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Tue, 21 Jun 2016 06:34:20 +0000 (06:34 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Tue, 21 Jun 2016 06:34:20 +0000 (06:34 +0000)
commit8aacbb6b4f11eda63be5a051f73a3353efc1984f
tree72d2fdaa3bc5fd670f362a92d60c04c52d264f27
parentd6ab05c567efe7271b90d571375ca2dac51994cc
parent9a2e06fd5c0aa66c8217b78a0a36d3252d4ec6e8
Merge branch 'master' into 'master'

Tone down makebuildserver terminal spamming

The progress bar updating at each 1k chunk spams the terminal to such an
extent it stops responding to keypresses (at least with a fast
connection). It also seems extremely inefficient to be writing the file
in 1k chunks. This makes it 64k, which is more reasonable but quite
probably still too small.

See merge request !134