successful installation, but problems updating

2017-11-06 Thread Marco van Hulten
Hello, I installed GuixSD 0.13.0 with success! But I still have a couple of issues and questions concerning updating the system and installing packages. I followed the [installation guide][1]. [1]: https://www.gnu.org/software/guix/manual/html_node/Proceeding-with-the-Installation.html 'guix

Re: successful installation, but problems updating

2017-11-06 Thread Thomas Sigurdsen
Hello, sadly I can't help with the guix pull error, don't know a lot about it unfortunately. I do have some comments on the other questions. On Mon, 06 Nov 2017 09:16:56 +0100 Marco van Hulten wrote: > After this I should execute this command. > > > $ guix system reconfigure > > guix system: er

Re: successful installation, but problems updating

2017-11-06 Thread Carlo Zancanaro
Hello! On Mon, Nov 06 2017, Marco van Hulten wrote: > I installed GuixSD 0.13.0 with success! Excellent! That's great to hear! > 'guix pull' ends with a compilation error: > >> guix pull: error: build failed: build of >> `/gnu/store/*-guix-latest.drv' failed This isn't enough to tell me what's

Re: successful installation, but problems updating

2017-11-06 Thread Marco van Hulten
Hello, Thank you Carl and Thomas for the clear explanation. Still one issue remains. Op 06 nov 20:43 schreef Carlo Zancanaro: > > 'guix pull' ends with a compilation error: > > > >> guix pull: error: build failed: build of > >> `/gnu/store/*-guix-latest.drv' failed > > This isn't enough to