Archives par mot-clef : terminal

Pour changer la taille par défaut du terminal Gnome, il suffit d’éditer le raccourcis (clic droit sur le menu application, éditer les menus, sélectionner Terminal et cliquer sur propriétés) Et ajouter à la fin de la ligne de commande : … Continuer la lecture