Configurer et utiliser l’émulateur de terminal GNOME fortement personnalisable.
Cette documentation est générée à partir de l’archive suivante : gnome-terminal