diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-12-21 23:12:52 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-12-21 23:50:13 +0100 |
| commit | 63b0c3eaccdf1816b419632cd7fe721934d2eb27 (patch) | |
| tree | d4ee34fa8abf87572fa1fe4dfd4c85af80952efa /ROADMAP | |
| parent | bbe66a530a014e8146d63002a5294941e935f863 (diff) | |
| download | guix-63b0c3eaccdf1816b419632cd7fe721934d2eb27.tar.gz guix-63b0c3eaccdf1816b419632cd7fe721934d2eb27.zip | |
offload: Skip machines that are low on disk space.
Fixes <https://bugs.gnu.org/33378>.
* guix/scripts/offload.scm (node-free-disk-space): New procedure.
(%minimum-disk-space): New variable.
(choose-build-machine): Call 'node-free-disk-space' and take it into
account in addition to LOAD.
(check-machine-status): Display the free disk space.
Diffstat (limited to 'ROADMAP')
0 files changed, 0 insertions, 0 deletions