Hallo Liste, wie kann ich die verschiedenen Profile des gnome2-terminal mit einem Texteditor bearbeiten?
Problem: Schriftarten lassen sich nicht richtig einstellen? thx, -- Häufig gestellte Fragen und Antworten (FAQ): http://www.de.debian.org/debian-user-german-FAQ/ Zum AUSTRAGEN schicken Sie eine Mail an [EMAIL PROTECTED] mit dem Subject "unsubscribe". Probleme? Mail an [EMAIL PROTECTED] (engl)