terminal-icon_64.pngTerminal

Deskbar :Applications
Localisation :/boot/system/apps/Terminal
Réglages :~/config/settings/Terminal
~/.profile - ajoute/remplace les paramètres /boot/system/etc/profile par défaut.
~/.inputrc - ajoute/remplace les paramètres /boot/system/etc/inputrc par défaut.


Le Terminal est l'interface de Haiku à bash, le Bourne Again Shell.

Veuillez vous référer à la rubrique sur les Scripts, vous y trouverez quelques liens vers des tutoriels en ligne concernant le travail dans le shell, Jetez aussi un œil aux programmes en ligne de commande spécifiques à Haiku. Ici, nous traiterons seulement de l'application Terminal.

index Fenêtres et onglets

Vous pouvez ouvrir autant de Terminaux que vous voulez, chacun dans sa fenêtre propre, en lançant plusieurs fois l’application Terminal ou en tapant ALT N depuis un Terminal ouvert. Vous pouvez également utiliser la vue en onglets du Terminal : utilisez la combinaison ALT T pour ouvrir un nouvel onglet.

terminal.png

Double-cliquez dans une partie vide de la barre d'onglets pour ouvrir un nouvel onglet ou sur un onglet pour le renommer. Plusieurs variables identifiables par un % peuvent être utilisées. Elles sont détaillées dans une info-bulle lorsque vous passez la souris sur le champ de texte.
Par défaut, %1d: %p, un onglet affiche le répertoire courant et, séparé par :, le nom de la tâche en cours d'exécution (ou -- si seul bash est en cours, probablement inactif). La copie d'écran ci-dessus montre le premier onglet avec une session FTP dans le dossier Desktop, et un seconde onglet inactif dans le répertoire personnel home.
De la même façon, vous pouvez éditer le titre de la fenêtre du Terminal via Edit|Window title....

Right-clicking a tab shows a context menu to Close tab, Close other tabs or, like double-clicking, Edit tab title.... Un clic droit sur un onglet affiche un menu contextuel pour fermer cet onglet (Close tab), fermer les autres onglets (Close other tabs) ou, comme un double-clic, éditer le titre de l'onglet (Edit tab title...).

Une fenêtre du Terminal peut être redimensionnée comme toute autre fenêtre ou en utilisant le menu Settings | Window Size. ALT ENTRÉE permet de basculer en mode plein écran.

Les changement de taille de fenêtre ou de police ne sont conservés que si vous faites Settings | Save as default.

index Réglages

Settings | Settings... ouvre un panneau pour configurer les réglages standards du Terminal.

terminal-settings.png

Ça commence avec la formule servant à nommer les onglets et les titres des fenêtres. Là encore, des bulles d'aides montres les variables disponibles. En dessous, vous réglez le type et la taille de la police, ainsi que les différentes couleurs de texte et d'arrière plan. Vous pouvez choisir un schéma de couleur prédéfini comme Black on white (noir sur blanc) ou White on black (blanc sur noir) ou en créer un Personnel en utilisant le sélecteur de couleur au dessous.
En activant la boite à cocher Confirm exit if active programs exist La fenêtre du terminal que vous essayerez de fermer, vous avertira de la présence d'une application en cours d'exécution
Vous pouvez enregistrer différents réglages dans des profils distinct, qui sur un double-clic ouvriront un Terminal conformément à la configuration.
Pressez OK pour sauvegarder les réglages en cours comme étant ceux par défaut.

index Raccourcis claviers

Vous trouverez une liste des raccourcis utiles dans Raccourcis clavier.

index Personnalisation du Bash

Issu du monde Unix, le shell bash est lui même, largement configurable. Deux fichiers sont particulièrement importants pour l'utilisateur : .profile et .inputrc
Ces deux fichiers peuvent être créés dans votre dossier home/ pour se substituer aux valeurs par défaut du système qui sont configurées dans /boot/system/etc/.

.profile

Le fichier .profile est chargé chaque fois que vous ouvrez un nouveau Terminal. Il configure divers alias et variables qui affectent le comportement et l’apparence de bash. Vous trouverez en ligne de nombreuses ressources qui détaillent les possibilités de configuration.

« The Haiku/BeOS Tip Server » met à votre disposition quelques astuces pour vous aider à démarrer, comme :

Il y en a d’autres, jetez un œil.

.inputrc

Le fichier .inputrc permet de configurer des équivalents claviers. Haiku fournit déjà des valeurs par défaut, vous n’aurez donc probablement pas à vous occupez de ces réglages plus compliqués. Si vous avez des besoins spécifiques, consultez des ressources en ligne, comme The GNU Readline Library.

index Conseils pour travailler dans le Terminal