En casa tengo una pantalla grande y bonita que desafortunadamente no tiene la misma resolución que mi macbook de retina.
Me gustaría usar una fuente de píxeles en la pantalla de baja resolución y una suave y agradable en la pantalla de retina. Para hacer esto, he configurado un script que escucha un evento cuando la pantalla está conectada.
He configurado dos perfiles en Terminal.app, uno para la pantalla de baja resolución y otro para la pantalla de retina.
¿Hay alguna manera de hacer que un perfil sea el perfil "predeterminado" (p. ej., utilizando applecript) sin reiniciar Terminal.app (de lo contrario, defaults com.apple.terminal ...
lo habría hecho)
La siguiente secuencia de comandos funciona al cambiar el perfil predeterminado actual (por lo que no es del todo lo que necesito, pero podría funcionar si encuentro los nombres de todas las configuraciones que 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;
}
Tendría que escribir un script para revertir los cambios