gc.sh: shorten any darcs .log files
commit13489e9fce30a75fc0447acac95e1d6304d1488e
authorKyle J. McKay <mackyle@gmail.com>
Sat, 22 Feb 2014 02:00:27 +0000 (21 18:00 -0800)
committerKyle J. McKay <mackyle@gmail.com>
Sat, 22 Feb 2014 02:00:27 +0000 (21 18:00 -0800)
tree4738354f291cccc392c49e85ee3a3dcd1a0e7ad1
parent78b7eaec1472d1a468cbfb75e8c3e1e87c34cbb3
gc.sh: shorten any darcs .log files

When cloning a darcs:// source, a darcs .log file is created
that just grows without bound.

To mitigate this, shorten it to the last 10000 lines at gc time.
jobd/gc.sh