On Monday 18 February 2002 9:19 am, Herbert Voss wrote: > On Mon, 18 Feb 2002, Angus Leeming wrote: > > > On Saturday 16 February 2002 5:31 pm, Herbert Voss wrote: > > > I have no problem with > > > > > > \converter "user" "eps" "xmgrace -hardcopy -hdevice EPS $$i" "" > > > > > > Herbert > > > > Sure, Herbert, but it is still rather ugly, specifying user1, user2 etc. If > > Rob wants to define an agr format, then let's let him. I think that this > > would do it: > > [...] > > this should be much more easier: > > instead of "user", I will return the file-extension, if present. > Only when we can not detect a file type from the contents and > have no extension than I return "user" > > Herbert
Herbert, don't think "file extension", think "file format name". That's what you're trying to determine. An example: files file.jpg, file.jpeg are both "jpg" files but have different extensions. I know what you mean, but I may not in 6 months time! Let's be pedantic about these things. Angus
