diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-09-18 22:59:13 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-09-18 23:08:29 +0200 |
| commit | ee25048e51dd45ad91a1ad4b0f25f4013843c52b (patch) | |
| tree | c330de56da9c91aa58665a8dc6a0447a901372b8 /gnu | |
| parent | 45fbc15a48d04cf9deaa5d40658846426cc94845 (diff) | |
| download | guix-ee25048e51dd45ad91a1ad4b0f25f4013843c52b.tar.gz | |
pull: Work around Ubuntu's 'sudo'.
Partly fixes <https://bugs.gnu.org/36785>. Reported by Julien Lepiller <julien@lepiller.eu>. * guix/scripts/pull.scm (ensure-default-profile): Do not call 'migrate-generations' when "SUDO_USER" is set.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions