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/71d0b974600eb89959f8ad309ba4bd7f3f31d777.camel%40orlitzky.com.