diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-03-17 17:02:15 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-03-17 22:55:01 +0100 |
commit | 55da450a1fc9969d9e791d7d94da90df3aa284db (patch) | |
tree | 0a0b8086b56ac2bbe3ad1b05b572cc86556b1d7c /doc/guix.texi | |
parent | cd2e4b2a8dbded85f7183d86be0747707e55d49e (diff) | |
download | guix-patches-55da450a1fc9969d9e791d7d94da90df3aa284db.tar guix-patches-55da450a1fc9969d9e791d7d94da90df3aa284db.tar.gz |
scripts: 'warn-about-old-distro' looks at the age of the running Guix.
This fixes a discrepancy that could be seen when running:
sudo guix system …
where 'guix' would warn about the age of root's Guix, even though the
running Guix is the user's, not root's.
* guix/scripts.scm (warn-about-old-distro)[false-if-not-found]: Remove.
Obtain the profile date by calling 'current-profile-date' instead of
stat'ing "current-guix".
Diffstat (limited to 'doc/guix.texi')
0 files changed, 0 insertions, 0 deletions