A partir de las respuestas dadas anteriormente y del enlace que encontré a Activar el zoom de Safari mediante script hay varias posibilidades:
Shell script
# set pagezoom to 125%
killall Safari
defaults write com.apple.Safari DefaultPageZoom "1.25"
open -a Safari
He añadido esto a una macro de Keyboard Maestro que se inicia por un disparador de atajo de teclado (por ahora).
# revert pagezoom to 100%
killall Safari
defaults write com.apple.Safari DefaultPageZoom 1
open -a Safari
He añadido esto a otra macro de Keyboard Maestro que se inicia por un disparador de atajo de teclado (por ahora).
Esto funciona muy bien, pero el inconveniente es que hay que reiniciar Safari.
Apple script
\-- set pagezoom to 125%
tell application "System Events"
tell application process "Safari"
set frontmost to true
keystroke "," using command down
delay 0.5
tell window 1
click button "Advanced" of toolbar 1 of it
click pop up button 3 of group 1 of group 1 of it
click menu item 6 of menu 1 of pop up button 3 of group 1 of group 1 of it
keystroke "w" using command down
end tell
end tell
end tell
o volver al 100%
tell application "System Events"
tell application process "Safari"
set frontmost to true
keystroke "," using command down
delay 0.5
tell window 1
click button "Advanced" of toolbar 1 of it
click pop up button 3 of group 1 of group 1 of it
click menu item 4 of menu 1 of pop up button 3 of group 1 of group 1 of it
keystroke "w" using command down
end tell
end tell
end tell
Esto cambia la página sin reiniciar Safari. Pero desde una macro de Keyboard Maestro no funciona consistentemente.
Tinkertool
Tinkertool no sólo ofrece la posibilidad de establecer el pagezoom para Safari, sino también de establecer el tamaño de las fuentes del sistema por defecto. Advertencia: el cambio sólo surte efecto después de relanzar las aplicaciones y Tinkertool no es susceptible de ser modificado mediante scripts, por lo que requiere una intervención manual.
Conclusión:
Por ahora me quedaré con las macros de Keyboard Maestro ejecutando los scripts de Apple. Cuando mi monitor grande está conectado, la cámara web de Logitech también está conectada, así que añadí un disparador adicional a las macros:
USB Device with Name Containing 'Webcam' is Attached para aumentar el pagezoom y USB Device with Name Containing 'Webcam' is Detached para revertir el pagezoom al 100%.
Esto me permite cambiar automáticamente el pagezoom al conectar o desconectar la pantalla grande.
