Falk Hueffner <[EMAIL PROTECTED]> wrote:
> gri includes by default in the .eps output the user name, hostname,
> creation date, and the contents of the creation script, including
> comments. All of these are potentially things I wouldn't want to let
> everybody know when distributing the .eps. Please don't enable this by
> default.
>
> Falk
Thanks for the bug report.
This "feature" has saved me from massive amounts of work in the past at
a few occasion when I found an archived complicated PostScript figure
made from Gri but I couldn't find the .gri script file. I'd then use
`gri -creator' to recreate it.
But I could understand how this could be undesirable.
Dan, if you have time, I suggest a few things. First, a command line
option to enable it or disable it. As to what the default could be, I
suppose it would be nice to have it disabled by default yet have the
possibility of turning it on by default by users (via ~/grirc or
environment variables perhaps?)
--
Peter S. Galbraith, Debian Developer <[EMAIL PROTECTED]>
http://people.debian.org/~psg
GPG key 1024/D2A913A1 - 97CE 866F F579 96EE 6E68 8170 35FF 799E
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
