Questions marquées «gnome-terminal»

8
Une seule instance du terminal GNOME?

J'aimerais savoir ou il est possible de configurer le terminal GNOME de manière à ce que lorsque j'ouvre le terminal et qu'il y ait déjà une instance ouverte, il affiche cette instance et n'en ouvre pas une toute nouvelle.

8
Gnome-terminal ne se rafraîchit pas

Gnome-terminal fonctionne très bien lorsque j'exécute Unity, mais lorsque j'exécute le shell Gnome, les terminaux ne fonctionnent pas correctement et doivent être constamment actualisés. Cela est particulièrement gênant lorsque vous utilisez "vi" pour modifier des fichiers texte. Dans l'ancien...

8
Le terminal dispose-t-il du mode quickedit?

J'aime le mode quickedit dans Windows cmd. Il est pratique de copier et coller. Je cherche donc un moyen de le faire dans le terminal Ubuntu. Mode Quickedit dans Windows cmd: faire une sélection dans le terminal en utilisant le curseur copier par sélection clic droit coller par clic droit...

1
Ajout de la commande `export` dans` .bashrc` pour mettre à jour PATH avec un emplacement binaire - les applications graphiques ne connaissent pas la mise à jour, même si le terminal le fait?

Je devais ajouter un: export PATH="/path/to/my/bin:$PATH" à mon bash.rc, pour progAl'emplacement de la bibliothèque binaire. Maintenant, chaque fois que je démarre une instance de terminal GNOME, je peux taper progAet appuyer sur return et le bon binaire est exécuté. Cependant, si je progAlance une...