On Wednesday, November 5, 2014 2:39:15 PM UTC+1, Thierry (sage-googlesucks@xxx) wrote: > > 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. > > Yes, that what I remember. In particular it will already download huge optional tarballs, not only standard ones.
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. > > Sure. > 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.