2014-06-14 22:08 UTC+02:00, Robert Bradshaw <rober...@gmail.com>: > On Thu, Apr 24, 2014 at 1:13 AM, John Cremona <john.crem...@gmail.com> > wrote: >> Question: would this make it possible to automatically have certain >> python packages installed when Sage builds (after building its python >> of course), perhaps from a list kept in a config file in .sage/ ? I >> have a list of packages I use a lot (for the lmfdb project), e.g. >> pymongo, and it is a nuisance to have to re-install them from time to >> time. > > Post-install hooks is an interesting idea. Even if it weren't > automatic, once we had pip it would be a matter of having a script > my_setup_script.sh containing "pip install foo; pip install bar; ..." > and running "sage -sh my_setup_script.sh
No need, it is already included within pip https://pip.pypa.io/en/1.1/requirements.html >> Since we ship and build python anyway, it seems very reasonable to >> also include this very useful python utility, so +1 from me. > > I'm not in favor of installing every useful Python utility, but a huge > +1 to pip to bootstrap the process. In particular we could get rid of > those optional spkgs that are nothing more than our own (often way > outdated) packaging of other Python projects. > > I think this is a separate question from if/how to use it to > augment/replace our package management--I don't think our installer > should be automatically finding and downloading the latest versions > (and the full source tarball should be buildable offline). Agreed that the first step is to make pip a optional package first. I created #16479 for that purpose. I might come soon with the pkg... Vincent -- 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.
