On Mon, Aug 17, 2015 at 10:48 AM, Jeroen Demeyer <jdeme...@cage.ugent.be> wrote: > On 2015-08-17 18:35, William Stein wrote: >> >> On Mon, Aug 17, 2015 at 10:00 AM, Jeroen Demeyer <jdeme...@cage.ugent.be> >> wrote: >> [...] >>> >>> What would you like? >> >> >> What does every other package manager do? > > > I don't think that's relevant. The question is not whether or not it should > be possible to install packages with dependencies (what a package manager > does), only what the user interface should be. > > My question could be rephrased as: should "sage -i" start behaving like a > package manager or should it be just a low-level command to install a single > package?
Let's at least establish what people are likely to think "sage -i" already is (after 10+ years of Sage). I double people think it's just a low-level command, since "sage --help" lists it at the top level (no need to use "sage -advanced" to find out about it). sage --help ... -advanced -- list all command line options ... -i [packages] -- install the given Sage packages ... It's description is "install the given Sage packages". Wikipedia: "A package manager [...] is a collection of software tools that automates the process of installing [...] software packages..." William > > > 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. -- William (http://wstein.org) -- 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.
