Ludovic Courtès schreef op ma 27-06-2022 om 12:17 [+0200]: > I agree that Dash should be fixed, but in the meantime, we still want > our stuff to work with the broken Dash (it’s the default on > Debian/Ubuntu, isn’t it?).
If Dash is fixed, then it's non-broken, and we don't have to work with the broken Dash. I don't expect fixing it to be more complicated than the work-arounds in Guile. > On 26 June 2022 13:07:11 UTC, Maxime Devos <maximede...@telenet.be> > wrote: > >(To be clear, I still recommend just fixing dash ...) > > That's the long-term solution, but Guix needs a work-around > regardless. Fixing dash seems to me something that could be done in the short term? Greetings, Maxime
signature.asc
Description: This is a digitally signed message part
