On Wed, 22 May 2019 at 11:18, John Cremona <john.crem...@gmail.com> wrote:
> > > On Wed, 22 May 2019 at 11:17, John Cremona <john.crem...@gmail.com> wrote: > >> >> >> On Wed, 22 May 2019 at 10:27, slelievre <samuel.lelie...@gmail.com> >> wrote: >> >>> Le mercredi 22 mai 2019 10:00:34 UTC+2, John Cremona a écrit : >>>> >>>> Paul Zimmermann suggested using -nodotsage, which apparently creates a >>>> temporary .sage directory which I expect would be different for different >>>> runs. This is not ideal since currently the scripts I am running this way >>>> make use of a %runfile command in ~/.sage/initsage to load all the >>>> functions needed. >>>> >>> >>> One can use a custom init.sage, see my answer to >>> >>> - Stack Overflow question 41922740: Start cli with init.sage >>> https://stackoverflow.com/questions/41922740 >>> >>> The trick is just to use the SAGE_STARTUP_FILE environment variable. >>> >>> Instead of just running >>> >>> $ sage >>> >>> run >>> >>> $ SAGE_STARTUP_FILE=/path/to/custom/init.sage sage >>> >> >> Thanks Samuel, that sounds perfect. In fact, since my init.sage only >> contains the line >> >> %runfile /home/jec/ecdata/scripts/ecdb.py >> >> it seems that I can do >> >> SAGE_STARTUP_FILE=%runfile /home/jec/ecdata/scripts/ecdb.py sage >> -nodotsage >> > > Of course I meant > > SAGE_STARTUP_FILE=/home/jec/ecdata/scripts/ecdb.py sage -nodotsage >> > 3rd time lucky: SAGE_STARTUP_FILE=/home/jec/ecdata/scripts/ecdb.py sage --nodotsage works fine ( --nodotsage, not -nodotsage). Thanks again > > >> >> and this will solve the issue. I will try that. >> >> John >> >> >>> >>> -- >>> You received this message because you are subscribed to the Google >>> Groups "sage-support" group. >>> To unsubscribe from this group and stop receiving emails from it, send >>> an email to sage-support+unsubscr...@googlegroups.com. >>> To post to this group, send email to sage-support@googlegroups.com. >>> Visit this group at https://groups.google.com/group/sage-support. >>> To view this discussion on the web visit >>> https://groups.google.com/d/msgid/sage-support/47d12b47-1a03-4fd3-adbd-52ae32b93470%40googlegroups.com >>> <https://groups.google.com/d/msgid/sage-support/47d12b47-1a03-4fd3-adbd-52ae32b93470%40googlegroups.com?utm_medium=email&utm_source=footer> >>> . >>> For more options, visit https://groups.google.com/d/optout. >>> >> -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at https://groups.google.com/group/sage-support. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/CAD0p0K7bSXEAwUEXuQDn3aUfS4%3DRutvY7DYdUbN8CyQUFYTCBw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
