]> git.tue.mpg.de Git - dss.git/commit
Introduce prune --disk-space.
authorAndre Noll <maan@tuebingen.mpg.de>
Thu, 7 Feb 2019 22:05:34 +0000 (23:05 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Sat, 21 Sep 2019 13:11:09 +0000 (15:11 +0200)
commit71a8073e6f18ccc21880a475af8d864279a960b8
treed4b5f94790d80728417c9578e51dcc1b3c2e9560
parentd4d72473957544283b6d426c3d4fa0b3f583da87
Introduce prune --disk-space.

The new option takes a mandatory argument of the set {check, high,
low}. The latter two make the command act as if disk space was
high/low without actually performing the check. This is mostly useful
for debugging.
dss.c
dss.suite