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 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.