Hi zimoun, On Tue, 01 Dec 2020 19:28:12 +0100 zimoun wrote: > This old bug #25719 is about exception and error message. See: > > > > On Tue, 14 Feb 2017 at 09:41, Danny Milosavljevic wrote: > > When I have network problems sometimes I get a backtrace like this: > > First, do you still experiment such behaviour? Since it 3 years old. I haven't seen this particular exception in a long time. I cannot tell whether the actual usability has been fixed, though--it could be that only the servers are more reliable and this code path is thus not currently being entered. > > substitute: 1727: 3 [%start-stack load-stack #] > > substitute: 1732: 2 [#] > > substitute: In unknown file: > > substitute: ?: 1 [primitive-load "/gnu/store/175nlv448nk5kagwwl3zyy2w4726qfz6-guix-0.12.0-4.d9da/bin/.guix-real"] > > substitute: In guix/ui.scm: > > substitute: 1228: 0 [run-guix-command substitute "--query"] > > substitute: > > substitute: guix/ui.scm:1228:8: In procedure run-guix-command: > > substitute: guix/ui.scm:1228:8: Throw to key `bad-response' with args `("Bad Response-Line: ~s" (""))'. > > > > It might make sense to > > > > (a) convert that into a normal runtime error message and > > What do you mean? The above is an exception. In this case the download failed--and unfortunately that is a completely normal thing on the internet. Therefore, that is not something you'd use an exception for. There is no added information that could help the user in the exception. For example it doesn't list the URL--the one thing that would actually help. > > (b) Fallback to substituteless building (maybe only for this thing). > > Is it not the case currently? No, I'm pretty sure I had to manually specify "--fallback" like a week ago--otherwise it would not fallback to building without substitutes, but it would just fail.