Hi, It seems when a substitute server is acting up, e.g. unreachable, or timing out, is there an option to automatically timeout such substitute server, instead of stalling on it ?
e.g. atm bordeaux.guix.gnu.org is broken (for me, at least), and guix pull, et al. were stalling on it, until I manually removed it. If there is no such option, then I'm thinking of setting up a nginx instance reverse-proxying to various substitute servers, and returning early instead of forever waiting in case of 502s, or something, and uisng that as substitute servers Thanks! -- Ashish SHUKLA | GPG: F682 CDCC 39DC 0FEA E116 20B6 C746 CFA9 E74F A4B0 "If I destroy you, what business is it of yours ?" (Dark Forest, Liu Cixin)
signature.asc
Description: PGP signature
