diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2017-05-10 15:25:59 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-05-10 22:09:08 +0200 |
| commit | 7fd952e05203d975fcb6cdabd2f742ade1b31b66 (patch) | |
| tree | f4c56daa415e6b8aaf5b9e4f46ae9ab009dc8dfd /etc | |
| parent | 30d2397f73d6fa9e77eed70ec6df8afd3b9f5f5e (diff) | |
| download | patches-7fd952e05203d975fcb6cdabd2f742ade1b31b66.tar patches-7fd952e05203d975fcb6cdabd2f742ade1b31b66.tar.gz | |
scripts: Warn about old distro.
Fixes <http://bugs.gnu.org/25852>.
Suggested by Mark H Weaver <mhw@netris.org>.
* guix/scripts.scm (%distro-age-warning): New variable.
(warn-about-old-distro): New procedure.
* guix/scripts/package.scm (process-actions): Call
'warn-about-old-distro'.
* guix/scripts/system.scm (process-action): Likewise.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions