En casa tengo una bonita pantalla grande, que lamentablemente no tiene la misma resolución que mi retina macbook.
Me gustaría utilizar un píxel-fuente en la parte baja resolución de pantalla y un agradable suave en la pantalla retina. Para ello he creado un script que se escucha a un evento cuando la pantalla esté conectada.
He creado dos perfiles en la Terminal.la aplicación, una para la baja resolución de la pantalla y otro para la pantalla retina.
Es allí una manera de hacer un perfil en el perfil "default" (por ejemplo, usando applescript) sin tener que reiniciar el Terminal.aplicación (de lo contrario defaults com.apple.terminal ... lo habría hecho)
La siguiente secuencia de comandos funciona cambiando el actual perfil predeterminado (por lo que no es del todo lo que necesito, pero podría funcionar si puedo encontrar los nombres de todos los ajustes quiero cambiar):
#!/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;
}
Yo tendría que escribir un script para revertir los cambios
