GnuLink

Aujourd’hui, le site gHacks, nous explique les menus du terminal Gnome.

Ainsi sont expliqué les menus Fichiers, Editions, Affichage, Terminal, Onglets et Help. Mais également la partie Profile, qui permet entre autre de modifier les couleurs et de rendre l’arrière plan plus ou moins transparent.

Get To Know Linux: gnome-terminal.

Related posts:

1. Guake un terminal gnome à la sauce Quake
2. Comprendre le gestionnaire de fichiers Nautilus
3. Vérifier la syntaxe du fichier de configuration de MySQL
4. Petites astuces sous Linux
5. Gentoo : A file is not listed in the Manifest: