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, 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% coverage > 1 means a substitute is available, but not from all servers > 2 means a substitute is not available > > This would preserve the current meaning of 0, while still allowing `guix > weather` to be used in scripts to "wait for a substitute".
What about two or more packages? “guix weather foo bar” when the package ’foo’ is available on one server and ’bar’ is not at all. Or if ’foo’ is available on one server and ’bar’ on the other. Etc. We could have: 0 100% all servers 1 100% from one server 2 100% from a server mix 3 one or more substitute is missing WDYT? Cheers, simon
