On Sun, Jul 31, 2005 at 11:59:18PM +0100, Steve McIntyre wrote: > c) write a wrapper script for the terminal emulator, and cope with > finding the right options for each possible emulator (potentially > huge amount of work)
This is how it's done already in the case of gnome-terminal (see /usr/bin/gnome-terminal.wrapper). So it's reasonable to file a bug against it for better option-munging to handle this case. -- Eric Cooper e c c @ c m u . e d u -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
