On Wed, Nov 05, 2014 at 05:22:17AM -0800, Jean-Pierre Flori wrote: > > > On Wednesday, November 5, 2014 2:17:29 PM UTC+1, Volker Braun wrote: > > > > There is already a "make download". If you want you can add a "make > > download-more" (or so) to also download popular optional packages...
I did not know that option, thanks for pointing this out. > Doesn't make download already download everything? > Or was it fixed/changed? According to the makefile, it calls ./src/bin/sage-download-upstream which starts with 'for pkg in $SAGE_ROOT/build/pkgs/*' So, it seems that all git-layouted packages are downloaded. That said, it does not fix the question of aborted slow downloads. However, it seems possible to pass an URL_GRABBER variable in sage-download-file to override the use of urllib, so we could use this as a workaround. In the longer term, it could be nice to have a --slow option or something like that, the difficulty will be to let this work on any machine, so preferably with some urllib python standard stuff. Ciao, Thierry -- 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 post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.