mailing-list for TeXmacs Users

[Ralf Treinen <address@hidden>]

On Mon, Jul 07, 2003 at 02:38:40PM +0200, Norbert Nemec wrote:

> I've been looking for a way to print or convert texmacs files from the 
> command 
> line. It would be really handy if that could be done without needing to 
> start 
> up texmacs in a window. In my setting, I only had a slow ssh connection to 
> the machine where texmacs is installed, so starting up the GUI to print an 
> existing tm file was a real pain.

Yes, that would certainly be useful. There already is a wishlist bug
for this at savannah:

https://savannah.gnu.org/bugs/?func=detailbug&group_id=156&bug_id=2091

-Ralf.
--