Neither approach assumes anything, but using “make” is at least familiar to 
anyone who has built any unix software in the past 30 years

This is a null measure set of Windows users (and probably of Mac users). 
Especially of undergrad students, which are (or should be) a very sizable 
portion of our intended audience. Users working in corporate salt mines, 
where Unix use raises the wrath of IT department (sometimes for good 
reasons…) are another glaring case : my professional use of a Linux system 
is tolerated because it predates our current IT department ; my (eventual) 
successor won’t have the same arguments to oppose our IT corporate jailers…

I’d favor any solution that allows installing optional packages without 
having to require of the user to install, learn and use a development 
environment. Encouraging them to acquiring this skill set is one thing, 
forcing them to is quite another…
​
Le vendredi 22 avril 2022 à 20:02:30 UTC+2, Michael Orlitzky a écrit :

> On Fri, 2022-04-22 at 08:16 -0700, seb....@gmail.com wrote:
> > 
> > (./sage -i should be deprecated and removed…)
> > 
> > — or just have ‘sage -i xyz’ do whatever ‘make xyz’ now does, perhaps.
> > 
> > +1
> > 
>
> This only works if you don't ever want to e.g. rename sage to sage.in
> to fix the copy & paste from the other thread.
>
>
> > Replacing sage -i xyz by make xyz sounds like assuming *all Sage users 
> are 
> > developers*.
>
> Neither approach assumes anything, but using "make" is at least
> familiar to anyone who has built any unix software in the past 30
> years. The ad-hoc "sage" stuff is a priori familiar to no one and
> prevents us from modernizing lots of old cruft.
>
>
>

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/2192fed3-c466-437f-b2c2-9b17481ffa13n%40googlegroups.com.

Reply via email to