Hello everybody, I just created a new thread with a script.
What this script does is create a working new-style package from an old .spkg. It is a possible way out: with this script, we can turn all old .spkg into new-style ones, and have it settled in one big commit. Then, we will have all the time we need to remove the spkg we do not want to keep, those we need to repackage properly, etc. https://groups.google.com/d/topic/sage-devel/MrgGDIckT5c/discussion Nathann On 10 September 2015 at 18:32, Travis Scrimshaw <tsc...@ucdavis.edu> wrote: > I want option (B) and I do not want option (D) (especially since I recently > tried to install the LiE spkg and was left wondering what happened, which I > attributed to my internet connection). > > Best, > Travis > > > > On Thursday, September 10, 2015 at 5:36:37 AM UTC-5, Jeroen Demeyer wrote: >> >> Let's try to summarize what we have so far. >> >> I am going to ignore responses of the form "just port all/some packages >> to new-style". That's certainly a good thing to do, but it doesn't >> answer the question. It's also a more long-term solution, while we need >> something by the next stable Sage release. >> >> So far, nobody was in favour of (A) and (C), so that gives us 2 >> remaining options: >> >> (B) sage -i OLDSTYLEPKGNAME should still work but with a clear warning >> message. >> (D) sage -i OLDSTYLEPKGNAME should give an error (possibly a more >> helpful error message than what we currently have). >> >> Votes so far are: >> (B): Jeroen Demeyer, Simon King >> (D): Volker Braun, John Cremona, John Palmieri >> >> Anybody else wants to give his/her opinion? >> >> >> Jeroen. > > -- > You received this message because you are subscribed to a topic in the > Google Groups "sage-devel" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/sage-devel/_5SidQWFYDY/unsubscribe. > To unsubscribe from this group and all its topics, 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.
