Igor Schein on Mon, 26 Aug 2002 19:13:31 -0400


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: gp + readline + script = mess


On Mon, Aug 26, 2002 at 07:13:05PM -0400, Michael Somos wrote:
> pari-dev,
> 
> This is from a 'script' on a SunOS 5.8 machine processed with 'cat -vt'
> 
> ==============================================================================
> Script started on Mon Aug 26 18:53:10 2002
> this is .cshrc on danube^M
> CSHLVL=3^M

I don't see why one would prefer unix script(1) over gp's native \l
logging capability.  Alternatively, you can 'gp |& tee <filename>'.  

Igor