À la maison, j'ai un grand écran qui n'a malheureusement pas la même résolution que mon macbook retina.
J'aimerais utiliser une police pixellisée sur l'écran basse résolution et une police lisse sur l'écran rétina. Pour ce faire, j'ai mis en place un script qui écoute un événement lorsque l'écran est connecté.
J'ai configuré deux profils dans Terminal.app, l'un pour l'écran basse résolution et l'autre pour l'écran rétina.
Existe-t-il un moyen de faire d'un profil le profil "par défaut" (par exemple en utilisant applescript) sans redémarrer Terminal.app (sinon, il faut le faire) ? defaults com.apple.terminal ... l'aurait fait)
Le script suivant fonctionne en modifiant le profil par défaut actuel (ce n'est donc pas tout à fait ce dont j'ai besoin, mais cela pourrait fonctionner si je trouve les noms de tous les paramètres que je veux modifier) :
#!/usr/bin/env osascript -l JavaScript
function run (argv) {
var terminal = Application('Terminal');
terminal.defaultSettings.fontName = 'creep';
terminal.defaultSettings.fontSize = 16;
// these don't seem to work
// because I do not know their names, and it's hard to debug guessing them
// terminal.defaultSettings.fontAntialiasing = false;
// terminal.defaultSettings.fontHeigthSpacing = 0.8;
}Je devrais écrire un script pour revenir sur les changements.
