cleaning interrupted build "leftovers" ?

2020-08-28 Thread Fulbert
Hello ! Yesterday, I interrupted (CTRL+C) the installation of linux-libre@5.8.5 when it was in build phase (substitute not available yet). Today, a new `guix system reconfigure` has found a substitute. I am wondering if, in this situation, my system has "leftovers" from the aborted build, that

Re: cleaning interrupted build "leftovers" ?

2020-08-28 Thread Ricardo Wurmus
Fulbert writes: > Yesterday, I interrupted (CTRL+C) the installation of > linux-libre@5.8.5 when it was in build phase (substitute not > available yet). Today, a new `guix system reconfigure` has > found a substitute. I am wondering if, in this situation, my system > has "leftovers" from the

Re: cleaning interrupted build "leftovers" ?

2020-08-28 Thread Andreas Enge
On Fri, Aug 28, 2020 at 12:34:11PM +0200, Fulbert wrote: > Yesterday, I interrupted (CTRL+C) the installation of > linux-libre@5.8.5 when it was in build phase (substitute not > available yet). Today, a new `guix system reconfigure` has > found a substitute. I am wondering if, in this situation,

Re: cleaning interrupted build "leftovers" ?

2020-08-28 Thread Fulbert
To Ricardo and Andreas : thank you very much for your help ! Best regards, Fulbert

Re: system reconfigure, Git error: the SSL certificate is invalid

2020-08-28 Thread Joshua Branson
I'm not sure why, but I think that guix system requires you to once run guix pull as the root user. -- Joshua Branson Sent from Emacs and Gnus