Terminal
yaggui donne à chaque dépôt un panneau de terminal en bas de sa vue, qui exécute votre shell dans le dossier du dépôt. Si vous préférez votre propre application de terminal, faites en sorte que le bouton Terminal ouvre celle-ci à la place.
Ouvrir le terminal intégré
Section intitulée « Ouvrir le terminal intégré »Quand un dépôt est ouvert, utilisez l’un de ces points d’entrée :
| Point d’entrée | Effet |
|---|---|
| Bouton Terminal de la barre d’outils | Affiche ou masque le panneau. |
| Ctrl+`, action de la palette Afficher ou masquer le terminal | Ouvre le panneau ; s’il est ouvert mais sans le focus, donne le focus au terminal actif ; s’il a le focus, masque le panneau. |
| Ctrl+Shift+`, action de la palette Nouveau terminal | Ouvre un terminal supplémentaire dans le panneau. |
Les deux raccourcis utilisent la touche Contrôle sur tous les systèmes, macOS compris (⌃`, et non ⌘`), et la touche à gauche de 1 quelle que soit votre disposition de clavier. Ce sont des valeurs par défaut : vous pouvez les réattribuer (voir Palette et raccourcis).
La première fois que vous affichez le panneau, il démarre un terminal.
Utiliser le panneau
Section intitulée « Utiliser le panneau »- Plusieurs terminaux. L’en-tête liste les terminaux sous forme d’onglets, nommés d’après le shell (par exemple
zshoupwsh). Cliquez sur + (Nouveau terminal) pour en ajouter un. - Fermer un terminal. Cliquez sur la croix de son onglet. Cela met fin à son shell. Fermer le dernier terminal ferme le panneau.
- Masquer le panneau. Cliquez sur Masquer le terminal à droite de l’en-tête, ou appuyez sur Ctrl+` quand un terminal a le focus. Les shells continuent de tourner.
- Redimensionner. Faites glisser le bord supérieur du panneau, ou donnez-lui le focus et appuyez sur ↑ / ↓ (16 px par pas). Le shell reçoit la nouvelle taille. La hauteur est partagée par tous les dépôts et revient à sa valeur par défaut au redémarrage de yaggui.
Tant qu’un terminal a le focus, toutes les touches vont au shell, Ctrl+C compris, sauf la palette de commandes (⌘K, Ctrl+K sous Windows et Linux) et les deux raccourcis du terminal. Pour copier une sélection, appuyez sur ⌘C (Ctrl+Shift+C sous Windows et Linux) ; pour coller, sur ⌘V (Ctrl+Shift+V sous Windows et Linux).
Le terminal suit le thème de l’application, la police de code et la taille de police des Préférences. Le style Terminal de l’onglet Apparence lui donne un fond presque noir. Voir Apparence.
Quel shell est lancé
Section intitulée « Quel shell est lancé »Le shell démarre dans le dossier de travail du dépôt.
| Système | Shell |
|---|---|
| macOS, Linux | Votre shell de connexion : $SHELL, sinon celui de votre compte utilisateur. |
| Windows | PowerShell 7 (pwsh.exe), sinon Windows PowerShell (powershell.exe), sinon cmd.exe. |
Le shell hérite de l’environnement de yaggui, avec TERM=xterm-256color et COLORTERM=truecolor. Les commandes que vous tapez vous appartiennent : elles n’apparaissent pas dans le journal des commandes et yaggui ne peut pas les annuler.
Quand le shell se termine (par exemple après exit), le terminal conserve sa sortie et ajoute [processus terminé] (ou [processus terminé avec le code N]). Fermez son onglet, ou ouvrez un nouveau terminal.
Durée de vie des terminaux
Section intitulée « Durée de vie des terminaux »- Chaque dépôt a son propre panneau et ses propres terminaux.
- Passer à un autre onglet puis revenir laisse les terminaux en marche, avec leur sortie (jusqu’à 5000 lignes d’historique de défilement).
- Les terminaux d’un dépôt se terminent quand vous fermez son dernier onglet, quand vous retirez le dépôt de yaggui et quand vous quittez yaggui. Ils ne sont pas restaurés au lancement suivant.
Utiliser un terminal externe
Section intitulée « Utiliser un terminal externe »Pour que le bouton Terminal ouvre votre propre application de terminal :
- Ouvrez les Préférences (⌘,, Ctrl+, sous Windows et Linux) et allez dans Outils.
- Réglez Terminal sur Externe.
- Si vous le souhaitez, cliquez sur Configurer… à côté de Terminal externe pour choisir lequel. Tester le lance.
En mode Externe, le bouton Terminal, Ctrl+` et Ctrl+Shift+` ouvrent le terminal externe dans le dossier du dépôt. Quel que soit le mode, l’action de la palette Ouvrir le terminal externe dans le dépôt ouvre le terminal externe.
Boîte de dialogue du réglage du terminal
Section intitulée « Boîte de dialogue du réglage du terminal »Ouvrez-la avec Configurer… dans les Préférences, l’action de la palette Réglage du terminal…, l’entrée Réglage du terminal… du menu de l’application sous macOS, ou Choisir un terminal… à la suite d’une erreur de terminal. Elle ne comporte qu’un champ Terminal ; cliquez sur Enregistrer. Laissez-le vide pour utiliser la valeur par défaut du système.
| Système | Quoi saisir | Valeur par défaut (champ vide) |
|---|---|---|
| macOS | Un nom d’application, par exemple iTerm ou Warp. yaggui lance open -a <app> <repo folder>. |
Terminal |
| Windows | Un nom de programme présent dans le PATH, ou un chemin complet. Windows Terminal (wt ou wt.exe) reçoit -d <repo folder> ; tout autre programme démarre avec le dépôt comme dossier courant. |
Windows Terminal, sinon cmd |
| Linux | Un nom de programme présent dans le PATH, ou un chemin complet. Il démarre avec le dépôt comme dossier courant, sans argument. |
Le premier trouvé parmi $TERMINAL, x-terminal-emulator, gnome-terminal, konsole, xfce4-terminal, kgx, tilix, alacritty, kitty, wezterm, foot, xterm |
Quand vous définissez un terminal, yaggui n’essaie que celui-là. Il n’existe pas de modèle d’arguments : sous Windows et Linux, le programme est lancé dans le dossier du dépôt.
| Message | Que faire |
|---|---|
Impossible d’ouvrir un terminal : « Le terminal « <name> » n’a pas pu être lancé. Vérifie son nom dans le réglage du terminal. » |
Cliquez sur Choisir un terminal… et corrigez le nom ou le chemin. |
| Impossible d’ouvrir un terminal : « Aucun terminal n’a été trouvé sur ce système. Choisis celui à utiliser dans le réglage du terminal. » | Cliquez sur Choisir un terminal… et saisissez un terminal que vous avez installé. |
Le terminal n’a pas pu démarrer : « Le shell « <shell> » n’a pas pu être lancé dans le terminal intégré. » |
Vérifiez que votre shell ($SHELL sous macOS et Linux) existe et fonctionne, ou utilisez un terminal externe. |
| « Ce terminal est fermé : ouvres-en un nouveau. » | Le shell s’est terminé : ouvrez un nouveau terminal. |
| « Le terminal doit être un nom de programme ou d’application. » | Le réglage Terminal est trop long ou invalide : saisissez un simple nom ou chemin. |
Voir Messages d’erreur pour le catalogue complet.