The current approach fills output.txt with \0 characters, more and more after each query, placed before the actual reply.
Probable reason: the (repl via the) manager script continues to write at whatever position it was last - it does not notice the effect of echo -n > output.txt being done in axioms.sh 🤔
Somewhat related advice from a decade ago: https://python-list.python.narkive.com/xGu6Ifof/reading-and-writing-to-a-file-creates-null-characters 😉
The current approach fills
output.txtwith\0characters, more and more after each query, placed before the actual reply.Probable reason: the (repl via the) manager script continues to write at whatever position it was last - it does not notice the effect of
echo -n > output.txtbeing done inaxioms.sh🤔Somewhat related advice from a decade ago: https://python-list.python.narkive.com/xGu6Ifof/reading-and-writing-to-a-file-creates-null-characters 😉