[Texmacs-dev] TeXmacs minor feature request

[Mansour Moufid]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hello list,

I've been using TeXmacs for a while and haven't come across any bugs.
There is, however, a small issue I wanted to bring up.

When exporting to postscript from a .tm TeXmacs document file,
TeXmacs exports local system information (specifically, the file's
location on disk) into the postscript output as metadata. This
behaviour is present whether the postscript is produced from an
export (i.e. File -> Export -> Postscript...), from a preview (i.e.
File -> Print -> Preview with ghostview), or from printing the
document (i.e. File -> Print -> Print all to file.../Print page
selection to file...).

This is an issue in the TeXmacs printing renderer, printer.cpp:

61    prologue   << "%!PS-Adobe-2.0\n"
62               << "%%Creator: TeXmacs-" TEXMACS_VERSION "\n"
63               << "%%Title: " << as_string (ps_file_name) << "\n"

The variable `ps_file_name' here contains the full on-disk path of
the document. For example, exporting to postscript via the TeXmacs
GUI (i.e. File --> Export -> Postscript...) to, say, example.ps:

$ grep "%%Title: " example.ps | head -1
%%Title: /home/acorn/Private/example.ps
         ^^^^^^^^^^^^^^^^^^^^

Printing a file's full location on disk within metadata is generally
undesirable -- especially for users employing device or file-based
encryption (e.g. ecryptfs). I'd like to propose that the postscript
output by TeXmacs does not include any information about the local
filesystem, i.e.:

$ grep "%%Title: " example.ps | head -1
%%Title: example.ps
         ^^^^^^^^^^

This would be equivalent to using libiberty's basename(ps_file_name).
Unfortunately, my C++ skills are limited, or I'd have attached a
patch.

If you could implement this fix, it'd be much appreciated. Thanks.

- --
Mansour Moufid
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
Comment: Use GnuPG with Firefox : http://getfiregpg.org (Version: 0.7.5)

iEYEARECAAYFAkowaXIACgkQ83JwsZW7wl8ZkgCg8YLMnZpfCNSrd3oPG2iV+MxW
C1AAoNIvEu+J1W3UPUUEp+0GTxRvJLUr
=5EmD
-----END PGP SIGNATURE-----