Re: guix weather exit status?

2021-07-12 Thread Kaelyn
Hi, I'm fairly new to Guix and haven't made much use of guix weather, but had a thought about the exit status. On Sunday, July 11th, 2021 at 4:40 AM, zimoun wrote: > Hi, > > On Sat, 10 Jul 2021 at 18:06, Leo Famulari l...@famulari.name wrote: > > > On Sat, Jul 10, 2021 at 04:41:44PM +0200, Lud

Re: guix weather exit status?

2021-07-11 Thread zimoun
Hi, On Sat, 10 Jul 2021 at 18:06, Leo Famulari wrote: > On Sat, Jul 10, 2021 at 04:41:44PM +0200, Ludovic Courtès wrote: >> I agree we could change (or rather refine) semantics to exit with >> non-zero when overall coverage is below 100%. In the example above, it >> should return 0. > > Maybe we

Re: guix weather exit status?

2021-07-10 Thread Leo Famulari
On Sat, Jul 10, 2021 at 04:41:44PM +0200, Ludovic Courtès wrote: > I agree we could change (or rather refine) semantics to exit with > non-zero when overall coverage is below 100%. In the example above, it > should return 0. Maybe we could distinguish between various cases like this: 0 means 100

Re: guix weather exit status?

2021-07-10 Thread Ludovic Courtès
Hi! Leo Famulari skribis: > When a substitute is not available for all specified substitute servers, > `guix weather` exits with a return code of '1', signaling failure. > > For example: > > -- > $ ./pre-inst-env guix weather linux-libre; echo $? > computing 1 package derivations for x86_64-

guix weather exit status?

2021-07-08 Thread Leo Famulari
When a substitute is not available for all specified substitute servers, `guix weather` exits with a return code of '1', signaling failure. For example: -- $ ./pre-inst-env guix weather linux-libre; echo $? computing 1 package derivations for x86_64-linux... looking for 1 store items on http: