Extension de fichier .terminal
Type de fichier Terminal Settings File
| Développeur | Apple |
| Catégorie | Fichiers de paramètres |
| Le format | Text |
Qu’est-ce qu’un fichier TERMINAL?
Fichier de paramètres créé par Apple Terminal, l'utilitaire de ligne de commande fourni avec Mac OS X (Terminal.app). enregistre les paramètres d’apparence de la fenêtre tels que la police, les couleurs du texte et de l’arrière-plan, la taille de la fenêtre et les commandes de démarrage du shell; peut également être utilisé pour enregistrer un groupe de fenêtres, qui est un arrangement de plusieurs fenêtres ouvertes (Fenêtre → Enregistrer Windows en tant que groupe ....
Vous pouvez exporter un fichier TERMINAL en choisissant Shell → Exporter les paramètres ... dans le menu de l'application. Sinon, vous pouvez choisir Terminal → Préférences ..., sélectionner l'onglet "Paramètres", puis "Exporter" dans le menu d'options de la colonne de gauche. Vous pouvez également importer les paramètres du terminal en sélectionnant "Importer" ou en sélectionnant Shell → Importer ... dans le menu de l'application.
Les développeurs et les administrateurs système utilisent souvent des paramètres de terminal différents pour des tâches différentes. Par exemple, si un schéma de fenêtre peut être utilisé pour le développement du code source, un autre peut être utilisé pour l'administration SSH.
REMARQUE: Le terminal inclut plusieurs modèles de paramètres prédéfinis, accessibles à partir de l'onglet "Paramètres". dans la fenêtre des préférences de l'application.
| Macintosh |
|