5 votes

mrjayviper avatar

Comment modifier de façon permanente la taille de la police du terminal via la ligne de commande/terminal ?

Demandé el 17 de Juillet, 2016
Quand la question a-t-elle été
8596 affichage
Nombre de visites la question a
4 Réponses
Nombre de réponses aux questions
Résolu
Situation réelle de la question

J'ai examiné cette commande :

defaults read com.apple.terminal "Window Settings"

Mais il semble qu'il n'y ait aucun moyen d'accéder aux variables/paramètres à l'intérieur ?

Toutes les idées sont les bienvenues. Je vous remercie de votre attention.

Voici un exemple de résultat :

=> defaults read com.apple.terminal "Window Settings" | more
{
    Basic =     {
        Font = <62706c69 73743030 d4010203 04050618 19582476 65727369 6f6e5824 6f626a65 63747359 24617263 68697665 72542474 6f701200 0186a0a4 07081112 55246e75 6c6cd409 0a0b0c0d 0e0f1056 4e535369 7a65584e 5366466c 61677356 4e534e61 6d655624 636c6173 73234026 00000000 00001010 80028003 5d4d656e 6c6f2d52 6567756c 6172d213 1415165a 24636c61 73736e61 6d655824 636c6173 73657356 4e53466f 6e74a215 17584e53 4f626a65 63745f10 0f4e534b 65796564 41726368 69766572 d11a1b54 726f6f74 80010811 1a232d32 373c424b 525b6269 72747678 868b969f a6a9b2c4 c7cc0000 00000000 01010000 00000000 001c0000 00000000 00000000 00000000 00ce>;
        FontAntialias = 1;
        FontWidthSpacing = "1.004032258064516";
        ProfileCurrentVersion = "2.04";
        name = Basic;
        type = "Window Settings";
    };
    Grass =     {
Demandé el 17 de Juillet, 2016 par mrjayviper

Réponses

Trop de publicités?

2voto

Daksh Gargas avatar
Daksh Gargas Points 113

Si vous utilisez le système d'exploitation 10.13 Il vous suffit d'aller sur shell et appuyez sur Edit Background Color si vous souhaitez modifier l'arrière-plan.

Utilisation command + [ - / +] pour diminuer ou augmenter la taille de la police

Enfin

Shell -> Use settings as default et il enregistrera les paramètres actuels comme paramètres par défaut.

P.S. Vous pouvez trouver shell dans la barre de menu (en haut de l'écran)

Répondu el 10 de Mai, 2018 par Daksh Gargas (113 Points )

1voto

Maurizio Loreti avatar
Maurizio Loreti Points 226 
osascript -e "tell application \"Terminal\" to set normal text color of window 1 to ${color}"
osascript -e "tell application \"Terminal\" to set background color of window 1 to ${color}"
osascript -e "tell application \"Terminal\" to set the font name of window 1 to \"$1\""
osascript -e "tell application \"Terminal\" to set the font size of window 1 to $2"

http://www.ict4g.net/adolfo/notes/2014/07/16/change-osx-terminal-settings-from-command-line.html

Répondu el 17 de Juillet, 2016 par Maurizio Loreti (226 Points )

-1voto

Neil avatar
Neil Points 17

Ouvrez Terminal --> Allez dans Préférences

Allez dans Profils -- et sous Texte, vous pouvez modifier la taille de la police.

Répondu el 17 de Juillet, 2016 par Neil (17 Points )

-2voto

Matthew Carleton avatar
Matthew Carleton Points 1

Je ne sais pas si vous avez compris, mais vous pouvez créer de nouveaux profils et y ajouter la taille de la police. Ensuite, choisissez ce nouveau profil comme celui qui sera utilisé au démarrage du terminal.

Répondu el 11 de Septembre, 2017 par Matthew Carleton (1 Points )

Questions en vedette

Top Tags

Dans notre réseau

LesApples.com

LesApples est une communauté de Apple où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres utilisateurs d'appareils Apple, poser vos propres questions ou résoudre celles des autres.

Powered by:

Yandex
X