.TERMINAL Extension de fichier
Fichier de réglages de Terminal
| Développeur | Apple |
| Popularité |
2,8 | 13 Votes |
Qu'est-ce qu'un fichier TERMINAL ?
Fichier de réglages créé par Apple Terminal, l’utilitaire en ligne de commande inclus avec Mac OS X (Terminal.app) ; il enregistre les réglages d’apparence de la fenêtre, comme la police, les couleurs du texte et de l’arrière-plan, la taille de la fenêtre et les commandes de démarrage de l’interpréteur de commandes ; il peut également servir à enregistrer un groupe de fenêtres, c’est-à-dire une disposition de plusieurs fenêtres ouvertes (Window → Save Windows as Group...).
Plus d'informations
Vous pouvez exporter un fichier TERMINAL en choisissant Shell → Export Settings... dans le menu de l’application. Vous pouvez également choisir Terminal → Preferences..., sélectionner l’onglet « Settings », puis choisir « Export » dans le menu d’options de la colonne de gauche. Vous pouvez aussi importer des réglages de Terminal ici en choisissant « Import » ou en sélectionnant Shell → Import... dans le menu de l’application.
Les développeurs et les administrateurs système utilisent souvent des réglages de Terminal différents selon les tâches. Par exemple, un modèle de fenêtre peut être utilisé pour le développement de code source, tandis qu’un autre peut servir à l’administration SSH.
REMARQUE : Terminal comprend plusieurs modèles de réglages prédéfinis, accessibles depuis l’onglet « Settings » de la fenêtre des préférences de l’application.