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



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: 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, my system
> has "leftovers" from the aborted build, that I would need to
> clean… and if so, {where,how} to find it ?! 

packages are normally built in /tmp, each package in its own subdirctory
guix-build-. When interrupting the build with Ctrl-C, this
directory survives (and on most systems is deleted during the next reboot).

>   Based on the [attached] result of the following command, I
> suppose, but I am unsure.
> 
> $ sudo find -L /var/guix /gnu/store -name "*linux-libre-5.8.5*" 2> /dev/null
>   1228101  4 dr-xr-xr-x   6 root root 4096 jan  1  1970 
> /var/guix/profiles/system/kernel/share/doc/linux-libre-5.8.5

This looks like it is part of your successful upgrade of the system with
a substitute.
$ ls -l /var/guix/profiles
shows links to profiles in /gnu/store (and if space runs out, these can
be removed by deleting profiles and "guix gc").

Andreas




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 aborted build, that I would need to
> clean… and if so, {where,how} to find it ?!

No, there are no left-overs when aborting a build.
There may be build pre-requisites that are no longer needed, though,
which can be collected by the garbage collector (“guix gc”).

-- 
Ricardo



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 I would need to
clean… and if so, {where,how} to find it ?! 

  Based on the [attached] result of the following command, I
suppose, but I am unsure.


$ sudo find -L /var/guix /gnu/store -name "*linux-libre-5.8.5*" 2> /dev/null


  Thanks for your time and best regards,

Fulbert

  1228101  4 dr-xr-xr-x   6 root root 4096 jan  1  1970 
/var/guix/profiles/system/kernel/share/doc/linux-libre-5.8.5
  1228101  4 dr-xr-xr-x   6 root root 4096 jan  1  1970 
/var/guix/profiles/system-8-link/kernel/share/doc/linux-libre-5.8.5
  1228101  4 dr-xr-xr-x   6 root root 4096 jan  1  1970 
/var/guix/gcroots/profiles/system/kernel/share/doc/linux-libre-5.8.5
  1228101  4 dr-xr-xr-x   6 root root 4096 jan  1  1970 
/var/guix/gcroots/profiles/system-8-link/kernel/share/doc/linux-libre-5.8.5
  1228101  4 dr-xr-xr-x   6 root root 4096 jan  1  1970 
/var/guix/gcroots/current-system/kernel/share/doc/linux-libre-5.8.5
  1228101  4 dr-xr-xr-x   6 root root 4096 jan  1  1970 
/gnu/store/.links/13sg3fqkvdk7gd19r93vkk8xa8wln6lvwl08vbwc7vaxsmrlw81f/share/doc/linux-libre-5.8.5
  1223559  4 -r--r--r--   2 root root 2414 jan  1  1970 
/gnu/store/mggrn9zir4gdmqbs1rl4g97w2ff7qw4f-linux-libre-5.8.5-guix.tar.xz-builder
  1223560  4 -r--r--r--   2 root root 1928 jan  1  1970 
/gnu/store/nycd1lx2pyld4m1w42h22cq0h550k82n-linux-libre-5.8.5-guix.tar.xz.drv
  1223562  4 -r--r--r--   2 root root 2872 jan  1  1970 
/gnu/store/h74gb2a5v7yk5zbfqsjmig780j8zdbmr-linux-libre-5.8.5-guix.tar.xz-builder
  1223563  4 -r--r--r--   2 root root 1444 jan  1  1970 
/gnu/store/aqz7p8v2wgs0f09ad00khdrifzmq03jh-linux-libre-5.8.5-guix.tar.xz.drv
  1223564  8 -r--r--r--   2 root root 6186 jan  1  1970 
/gnu/store/asiwfzszdp91r0gl7mbxfjzmpnrg9nh6-linux-libre-5.8.5-guile-builder
  1223565  4 -r--r--r--   2 root root 3144 jan  1  1970 
/gnu/store/b3lax3l19dr4m0bb49y4jd6m3xirk3hy-linux-libre-5.8.5.drv
  1224195  0 -rw---   1 root root0 aoû 27 23:44 
/gnu/store/sqxpzb2flfhy3cana72bhv74rn7g32bd-linux-libre-5.8.5-guix.tar.xz.lock
  1224897  4 dr-xr-xr-x   4 root root 4096 jan  1  1970 
/gnu/store/b5rr113vjiykxr41s2yq7rn97sfh5dfw-linux-libre-5.8.5
  1224967  4 dr-xr-xr-x   6 root root 4096 jan  1  1970 
/gnu/store/b5rr113vjiykxr41s2yq7rn97sfh5dfw-linux-libre-5.8.5/share/doc/linux-libre-5.8.5
  1227125  4 dr-xr-xr-x   6 root root 4096 jan  1  1970 
/gnu/store/4hrv917g7vzw50qc6ak5dm15hrjc9rfv-linux-module-database/share/doc/linux-libre-5.8.5
  1228101  4 dr-xr-xr-x   6 root root 4096 jan  1  1970 
/gnu/store/wd31bgz7pcfvka6cr3lmdfwj0pc5p4pq-profile/share/doc/linux-libre-5.8.5
  1228101  4 dr-xr-xr-x   6 root root 4096 jan  1  1970 
/gnu/store/3vvmaf27da2i8659xb2v2mvrm8505f9n-system/kernel/share/doc/linux-libre-5.8.5