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 Apparence

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.

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.

terminal.png

Le panneau de préférences accessible par le menu Settings | Preferences ouvre un panneau dans lequel vous pouvez définir la police utilisée, sa taille et les couleurs de texte et de fond. Vous pouvez sauvegarder vos réglages en tant que fichiers de profil, qui ouvriront un Terminal configuré lors d’un double-clic.
Le bouton OK enregistrera le réglage courant comme réglage par défaut.

index Personnalisation du Bash

Le shell bash lui même, venu du monde Unix, est largement configurable. Deux fichiers en particulier sont intéressants : .profile et .inputrc
Ces deux fichiers peuvent être créés dans votre dossier home/ et s’ajouter ou remplacer les valeurs par défaut du système 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 Raccourcis claviers

Vous trouverez une liste des raccourcis utiles dans Raccourcis clavier.

index Conseils pour travailler dans le Terminal