Ok, I changed my mind; it's not ideal to have to include the change to make default-terminal a server option, but forcing a configuration change on all the users who don't want italics isn't realistic. Let's go with this.
-- Romain Francoise <[email protected]> http://people.debian.org/~rfrancoise/ -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
