> From: "Adrian John Howard" <adrianh@cogs.susx.ac.uk>
>
> > From: A.Sloman@computer-science.birmingham.ac.uk
> >
> > > ..or you can strip the special characters on a file by file basis. I
> > > have the following shell script to do this:
> > >
> > > #! /bin/csh -f
> > > basepop11 %noinit $popliblib/stripvedfile $*
> > >
> > > Although this does mean starting up a Poplog process each time you need
> > > to strip a file.
> >
> > But then ved_indexify no longer works sensibly on the file if it uses
> > the new style headers.
>
> Oh yes it does.... (at least from V14.51 it does --- I don't have access
> to an earlier Poplog, but I'm pretty sure it always has).
Whoops.... reading ved_indexify, thinking ved_g... sorry... time for
more coffee...
You're correct that ved_indexify and ved_newindex are incompatable...
You can either:
o Use the old style headers (we kept ved_indexify and ved_heading so
you could)
o Keep copies in the new style so you can use ved_newindex
o Use the hack appended at the bottom of this file which allows you
to use the new index styles on plain ASCII files
Happy :-)
----
;;; Allows you to use ved_newindex on files which
;;; have had character attributes and graphic
;;; characters stripped.
define ved_plainnewindex;
veddo('sgs/-/\\G-');
ved_newindex();
veddo('sgs/\\G-/-');
ved_mbe();
veddo('chat r -b');
enddefine;
----
Adrian
aids (adrianh@cogs.susx.ac.uk) ObDisclamer: Poplog used to pay my wages
Phone: +44 (0)1273 678367 URL: http://www.cogs.susx.ac.uk/users/adrianh/
|