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 root 0 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
