On Tue, Apr 11, 2023 at 10:12:06PM +0200, Ralf Hemmecke wrote:
> Johannes told me that )spool filename does not record the output of fricas
> commonds in the file. I can confirm this.
>
> )spool foo.out
> a+b^c
> )spool
>
> gives in foo.out only
>
> ====================
>
> (1) -> a+b^c
> (2) -> )spool
> ====================
AFAICS this is limitation due to way ')spool' is currently implemented.
> Does actually anyone use )spool? I have no need for it. The fricas book
> mentions .spool files, but the generation and capturing of output works via
> redirection, i.e. no need for the fricas book.
When I need to record input and output I normally either use terminal
cut and paste (for small things) or 'script' program (for larger
volume). Both ways have a drawback: recorded info contains control
characters sent by 'clef' or 'rlwrap', but ATM I found them good
enough.
Concerning ')spool', I do not think that we should keep current
implementation. OTOH we should clean out our input-output machinery
and with cleaned up implementation correct implementation of ')spool'
should be easy.
--
Waldek Hebisch