Questions marquées «gnome-terminal»

GNOME Terminal (souvent intitulé uniquement "Terminal") est l'émulateur de terminal par défaut inclus dans Ubuntu.

166
Comment changer le titre de Gnome-Terminal?

J'ai plusieurs exemples de terminaux fonctionnant dans mon environnement de travail. Ce que je voudrais, c'est définir un titre spécifique pour chacun d'eux, afin d'avoir une idée précise de l'objectif du terminal spécifique, à savoir Apache, montage_ini, postgres, etc. Bien sûr depuis la ligne de...

79
Comment afficher la barre de menu gnome-terminal?

J'ai accidentellement décoché Afficher -> Afficher la barre de menus qui masque la barre de menus pour gnome-terminal, et il ne semble pas y avoir de raccourci clavier pour afficher à nouveau la barre de menus. Comment faire pour que gnome-terminal affiche à nouveau la barre de...

46
Steam ne s'ouvre pas sur Ubuntu 17.10

Steam ne s'ouvre pas du tout lorsque je l'ouvre depuis la recherche, et dans le terminal, il est indiqué Repairing installation, linking /home/xyz/.steam/steam to /home/xyz/.local/share/Steam Running Steam on ubuntu 17.10 64-bit STEAM_RUNTIME is enabled automatically Installing breakpad exception...

46
Comment afficher plus d'un terminal simultanément

Parfois, lorsque je travaille, j'utilise plus d'un terminal et je trouve qu'il est gênant de basculer entre eux lorsque tous ont été appelés à l'aide de Ctrl+ Alt+ T. Existe-t-il un programme ou un terminal qui, après le lancement, me fournirait 4 terminaux indépendants, chacun occupant 1/4 de...