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 /guix/scripts/package.scm | |
| parent | 63abd1e2a36d48e1f8f7057a4c844b9cf5733be7 (diff) | |
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 'guix/scripts/package.scm')
| -rw-r--r-- | guix/scripts/package.scm | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/guix/scripts/package.scm b/guix/scripts/package.scm index 5d146b8427..500fc9ac90 100644 --- a/guix/scripts/package.scm +++ b/guix/scripts/package.scm @@ -164,7 +164,9 @@ do not treat collisions in MANIFEST as an error." count) count) (display-search-paths entries (list profile) - #:kind 'prefix)))))))) + #:kind 'prefix))) + + (warn-about-disk-space profile)))))) ;;; |