Re: Is url2pkg used interactively?

[Patrick Welche <prlw1%cam.ac.uk@localhost>]

On Thu, Oct 03, 2019 at 08:45:50PM +0200, Roland Illig wrote:
> Did you ever edit anything useful at that point, or do you know someone
> who did? I don't see why the interactivity is necessary there, and I'd
> like to remove it. Of course, if there's good reason, I will document it
> and keep it interactive.

I used to, but then if I make a typo, I mess up the whole fetching
process, so stopped doing it - as you say, just editing it afterwards,
once there is a valid distinfo, is fine.

Cheers,

Patrick