On Friday, February 28, 2020 at 3:37:52 AM UTC+9, Markus Wageringel wrote: > > This is an interesting suggestion. How would this work with > non-interactive builds like on the patchbots or in CI? >
So add a docbuild option `--yes-download` to prevent asking. And `--no-download` might be useful too... > Would the user be asked right before downloading, perhaps when running > configure, so it can fail early? > I imagined asking download permission from the user at one time both for packages and inventory files at start of making. If no download is needed because they were already downloaded, no asking happens. I am not sure if this can happen at configure time. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/4893ebce-0c82-4045-ab1c-081c0219e3d6%40googlegroups.com.
