+1. I have had export SAGE_UPGRADING='yes'
in my .bashrc for a long time now. John On 30 September 2014 00:02, William A Stein <wst...@uw.edu> wrote: > On Mon, Sep 29, 2014 at 3:01 PM, Dima Pasechnik <dimp...@gmail.com> wrote: >> On 2014-09-29, Volker Braun <vbraun.n...@gmail.com> wrote: >>> I propose to remove the SAGE_UPGRADING variable and make it act like it >>> would be always "yes" (instead of "no", which is the current default). >>> Right now, we sabotage "make" to not rebuild dependencies of rebuilt >>> packages. So you don't have to wait long for your broken Sage installation. >>> >>> The only sane alternative would be to have it default to "yes", but I don't >>> really think that we really need something with such a narrow use case. You >>> can of course always only individual packages (sage -f) and only the sage >>> library (sage -b) if you are feeling lucky. But "make" should really >>> produce something that works IMHO. >> >> +1 >> >> (just got bitten by that, again :-)) > > +1 -- that's how I had naively hoped it already worked, and I don't > want to get bit by this ever, and I have a fast enough computer.... > > > > -- > William Stein > Professor of Mathematics > University of Washington > http://wstein.org > wst...@uw.edu > > -- > 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. -- 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.
