diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-10-23 00:56:25 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-10-23 01:04:39 +0200 |
| commit | 62a14bd26f2ed7cf416183528dcca4b1b29aaf0a (patch) | |
| tree | b9b19f8d467df3b3650d189fbe177ebd781a6bba /gnu | |
| parent | 63abd1e2a36d48e1f8f7057a4c844b9cf5733be7 (diff) | |
| download | patches-62a14bd26f2ed7cf416183528dcca4b1b29aaf0a.tar patches-62a14bd26f2ed7cf416183528dcca4b1b29aaf0a.tar.gz | |
scripts: Suggest running 'guix gc' when we're short on disk space.
* guix/scripts.scm (%disk-space-warning): New variable.
(warn-about-disk-space): New procedure.
* guix/scripts/package.scm (build-and-use-profile): Use it.
* guix/scripts/system.scm (process-action): Likewise.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions