I have a number of files that I generate from a Makefile and then pass each of their names to a shell with content

cat $1 | sage -q | sed 's/^sage: //'

That seems to work fine when I just call "make", but with "make -j12" (there are then several instances of sage running and) I see the error below.

Clearly, that comes from IPython wanting to save the input history.
In my situation history saving is useless and unwanted. I need some hint to switch that off. Is this possible by adding some command(s) to the file $1 or can I simply give a particular option to sage to avoid writing to history.sqlite?

Thank you in advance
Ralf


====================================

[SageTerminalApp] ERROR | Failed to create history session in /home/hemmecke/.sage/ipython-5.0.0/profile_default/history.sqlite. History will not be saved.
Traceback (most recent call last):
File "/zvol/sage/sage-10.4/x86_64/local/var/lib/sage/venv-python3.12.4/lib/python3.12/site-packages/IPython/core/history.py", line 549, in __init__
    self.new_session()
File "/zvol/sage/sage-10.4/x86_64/local/var/lib/sage/venv-python3.12.4/lib/python3.12/site-packages/decorator.py", line 232, in fun
    return caller(func, *(extras + args), **kw)
           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/zvol/sage/sage-10.4/x86_64/local/var/lib/sage/venv-python3.12.4/lib/python3.12/site-packages/IPython/core/history.py", line 60, in only_when_enabled
    return f(self, *a, **kw)
           ^^^^^^^^^^^^^^^^^
File "/zvol/sage/sage-10.4/x86_64/local/var/lib/sage/venv-python3.12.4/lib/python3.12/site-packages/IPython/core/history.py", line 574, in new_session
    cur = conn.execute(
          ^^^^^^^^^^^^^
sqlite3.OperationalError: database is locked

--
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 [email protected].
To view this discussion visit 
https://groups.google.com/d/msgid/sage-devel/0491fae3-4035-4908-9ad1-a9c9a255e2e8%40hemmecke.org.

Reply via email to