Hi, > When SAGE_ROOT is not available, "sage --advanced" will not show the commands for rebuilding Sage, which need SAGE_ROOT.
and any other options like "sage --coverageall", :sage --testall", ... and what else? Not only that "sage --advanced" will not show the options but also 'sage' should NOT attempt to do them (when the users insist) with error messages. 'Sage' should instead give some wise advice and gracefully exits(?): " For this option to work, you need '$SAGE_ROOT' which is not available on your system right now. (In case you are testing me, you know that I know what you are doing, please 'mv beta1_ beta1' (smiley))" Cheers, phiho On Tue, May 31, 2022 at 2:44 PM Matthias Koeppe <matthiaskoe...@gmail.com> wrote: > On Tuesday, May 31, 2022 at 10:45:47 AM UTC-7 hohoa...@gmail.com wrote: > >> > "It is not supported to move the SAGE_ROOT or SAGE_LOCAL directory >> after building Sage. If you do move the directories, you will have to >> run make distclean and build Sage again from scratch." >> >> So, practically speaking, BOTH "$SAGE_ROOT" and "$SAGE_LOCAL" are part of >> the 'sage' installation? >> > > SAGE_LOCAL is the self-contained Sage installation. > > You need SAGE_ROOT only if you want to refer back to the source or rebuild > Sage. > > However, when both are available: >> ~/sage-9.7$ local.beta1 --advanced | wc -l >> 242 >> >> and when "$SAGE_ROOT" is renamed to "$SAGE_ROOT"_: >> ~/sage-9.7$ local1 --advanced | wc -l >> > 154 >> What are these missing 88(?) lines in "sage --advanced"? >> > > When SAGE_ROOT is not available, "sage --advanced" will not show the > commands for rebuilding Sage, which need SAGE_ROOT. > > > > -- > 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/0be69090-6dc3-487c-be56-ad68fb0fa87an%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/0be69090-6dc3-487c-be56-ad68fb0fa87an%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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/CALZQg1b5bPTGT1jB8OJz%2BR%2BU15mNjsBOj%2BVpXk1Jc3kWPogKdA%40mail.gmail.com.
