Sindhu S
sindhus@live.in 2013
Ekaterina Gerasimova
kittykat3756@gmail.com 2013–2014
Michael Hill
mdhillca@gmail.com 2013

This work is licensed under a Creative Commons Attribution-Share Alike 3.0 Unported License and a GNU General Public License version 3. It may be redistributed and/or modified under either license.

Déclaration de GPL 3 :

Ce travail est un logiciel libre : vous pouvez le redistribuer et/ou le modifier selon les termes de la Licence Publique Générale GNU version 3, telle que publiée par la Free Software Foundation.

Ce travail est distribué dans l’espoir qu’il sera utile, mais SANS AUCUNE GARANTIE, sans même la garantie implicite de COMMERCIALISATION ou D’ADAPTATION À UN USAGE PARTICULIER. Voir la Licence Publique Générale GNU pour plus de détails.

Vous devriez avoir reçu une copie de la Licence Publique Générale GNU avec ce programme. Sinon, voir http://www.gnu.org/licenses/.

Activer, ajouter, supprimer et réorganiser les onglets de Terminal.
Yoann Fievez
yoann.fievez@gmail.com 2013
Julien Hardelin
jhardlin@orange.fr 2013
Alexandre Franke
alexandre.franke@gmail.com 2014
Alain Lojewski
allomervan@gmail.com 2014
Jérôme Sirgue
jsirgue@free.fr 2014
Guillaume Bernard
associations@guillaume-bernard.fr 2015-2020
Charles Monzat
charles.monzat@free.fr 2020

# Utilisation des onglets

La barre d’onglets apparaît en haut d’une fenêtre de Terminal qui possède plusieurs onglets ouverts (cela ressemble à une rangée de boutons). Cliquez pour changer d’onglets. Vous pouvez ouvrir plusieurs onglets pour gérer votre travail dans Terminal. Cela vous permettra d’effectuer plusieurs tâches, telles que l’exécution de programmes, la navigation dans les répertoires et la modification de fichiers texte dans une seule fenêtre de Terminal.

# Ouverture d’un nouvel onglet

Pour ouvrir un nouvel onglet à l’intérieur de votre fenêtre actuelle de Terminal :

Appuyez sur Maj Ctrl T.

# Suppression d’un onglet

Pour fermer un onglet existant à l’intérieur de votre fenêtre actuelle de Terminal :

Appuyez sur Maj Ctrl W.

Vous pouvez aussi cliquer sur la croix × dans le coin supérieur droit de l’onglet ou faire un clic droit sur l’onglet et sélectionner Fermer le terminal.

# Réorganisation des onglets

Pour changer l’ordre des onglets dans la fenêtre :

Cliquez et maintenez enfoncé le bouton gauche de la souris sur l’onglet.

Faites glisser l’onglet jusqu’à la position désirée parmi les autres onglets.

Relâchez le bouton de la souris.

L’onglet sera placé à l’emplacement le plus proche de l’endroit où vous l’avez lâché, juste à côté d’autres onglets ouverts.

Vous pouvez aussi changer la position d’un onglet par un clic droit sur cet onglet et en sélectionnant Déplacer le terminal vers la gauche pour déplacer l’onglet vers la gauche ou Déplacer le terminal vers la droite pour déplacer l’onglet vers la droite. Cela va modifier la position de l’onglet en le déplaçant d’une place à la fois.