Re: Printing...

> I think that putting among terminal preferences widgets somewhere a text
> box for the printing commands it's
> quite feasible.
> In fact about terminal  
> we need only to print the text inside it so it could
> be enough for example a command like a2ps which
> is quite common, do you agree?

Yeah, that sounds pretty good.  

An extra step would be to use gnome-print to generate the output.

Miguel.