Terminaux
Ctrl+T ouvre un terminal. Voici la barre d’outils, repère par repère.
| Nouveau terminal | Ctrl+T |
| Fermer l’onglet | Ctrl+W |
| Onglet suivant / précédent |
Ctrl+Tab / Ctrl+Shift+Tab
|
Chaque onglet est une session à part entière. Un terminal ouvert sur un hôte SSH garde sa session tant que l’onglet existe.
Changer de mode ne détruit pas vos terminaux : la surface Dev est masquée, pas fermée, et vos sessions continuent de tourner.
Split H divise horizontalement, Split V verticalement. Chaque panneau obtenu est une session indépendante – vous pouvez surveiller un log à gauche et travailler à droite.
| Copier | Ctrl+Shift+C |
| Coller | Ctrl+Shift+V |
| Rechercher dans la sortie | Ctrl+F |
| Effacer l’écran | Ctrl+L |
Ctrl+C garde son sens habituel : il interrompt la commande en cours. C’est
pour cette raison que la copie utilise Shift.
Les boutons − / 100% / + changent la taille du texte de ce terminal.
C’est indépendant de la taille de l’interface, qui se règle dans
Paramètres.
Le shell reçoit un signal de fin, a le temps d’écrire son historique et d’exécuter ses scripts de sortie, puis est proprement récupéré. Rien ne reste en arrière-plan.