[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Not sure how to add an offload server
From: |
Simen Endsjø |
Subject: |
Re: Not sure how to add an offload server |
Date: |
Thu, 07 Nov 2024 22:51:42 +0100 |
Ok, so now it suddenly works. I cannot see any recent commits in guix which
should indicate a change related to this.
What kind of bad state could I have had on my system which has been fixed by
experimenting with the local guix and pre-inst-env? And is it permanently fixed
now? I find this both strange and worrying.
$ guix offload test
guix offload: testing 1 build machines defined in '/etc/guix/machines.scm'...
On Thu, Nov 7, 2024, at 22:17, Simen Endsjø wrote:
> Not sure what you mean. Tried adding the channel with -L, but I get an error
> about a record ABI mismatch. How is this possible? Is somehow two different
> guix channels used...?
>
> $ ./pre-inst-env guix system \
> -L ~/the-locally-cloned-required-channel \
> reconfigure the-system.scm
>
> guix system: error: failed to load 'the-system.scm':
> guix/records.scm:65:4: In procedure record-abi-mismatch-error:
> In procedure abi-check: #<record-type <guix-configuration>>: record ABI
> mismatch; recompilation needed
>
>
> On Thu, Nov 7, 2024, at 15:35, Felix Lechner wrote:
>> Hi Simen,
>>
>> On Thu, Nov 07 2024, Simen Endsjø wrote:
>>
>> > I'm unable to rebuild the system using this method as it looks like my
>> > channels is not loaded
>>
>> Sorry about your troubles. Guix will accept -L to include local
>> folders, which can hold a cloned Git repository. It's not convenient,
>> but will work at least once.
>>
>> Kind regards
>> Felix
>>
>
- Not sure how to add an offload server, Simen Endsjø, 2024/11/02
- Re: Not sure how to add an offload server, Tomas Volf, 2024/11/03
- Re: Not sure how to add an offload server, Simen Endsjø, 2024/11/03
- Re: Not sure how to add an offload server, Simen Endsjø, 2024/11/06
- Re: Not sure how to add an offload server, Tomas Volf, 2024/11/06
- Re: Not sure how to add an offload server, Simen Endsjø, 2024/11/07
- Re: Not sure how to add an offload server, Hilton Chain, 2024/11/07
- Re: Not sure how to add an offload server, Simen Endsjø, 2024/11/07
- Re: Not sure how to add an offload server, Felix Lechner, 2024/11/07
- Re: Not sure how to add an offload server, Simen Endsjø, 2024/11/07
- Re: Not sure how to add an offload server,
Simen Endsjø <=
- Re: Not sure how to add an offload server, Simen Endsjø, 2024/11/07