I don't think that is possible currently.

For non-interactive usage, you can use shell pipes.

Or you can use ')system rm /home/me/data/foo.txt'
before ')spool'.

I wonder if you want to overwrite or append to this file.
I could implement such functionality.

On Tue, Jan 23, 2018 at 2:07 PM, 'Nasser M. Abbasi' via FriCAS -
computer algebra system <[email protected]> wrote:
> Is there a better way to save all my commands and its output to a log file
> than using spool?
>
> I found that once I use spool  on a file, and then turn it off, I can't use
> spool again on the
> same file., which is annoying. What if I want to overwrite the spool file?
> or better
> yet, append to it?
>
> For example
>
> -------------------------------
> (1) -> )spool /home/me/data/foo.txt
>
> (1) -> )version
> Value = "FriCAS 1.3.2 compiled at Mon Jan 22 22:59:20 CST 2018"
> (1) -> )spool
>
> (1) -> )spool /home/me/data/foo.txt
>
>    >> System error:
>    file /home/me/data/foo.txt already exists
> ----------------------------------------
>
> I know the file already exists.
>
> I also tried )spool )off instead of just )spool.  same error.
>
> I'd like to know if one can either overwrite the file, or if there is an
> option
> to even append to it after turning spool off then on again.
>
> Or is there a better way to save all the commands and output
> to a file than using spool? Where one can use the same file
> again if needed?
>
> --
> You received this message because you are subscribed to the Google Groups
> "FriCAS - computer algebra system" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to [email protected].
> To post to this group, send email to [email protected].
> Visit this group at https://groups.google.com/group/fricas-devel.
> For more options, visit https://groups.google.com/d/optout.

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to