Dalle risposte fornite sopra e dal link che ho trovato per Abilita Safari Zoom per script
ci sono diverse possibilità:
Script di shell
# set pagezoom to 125%
killall Safari
defaults write com.apple.Safari DefaultPageZoom "1.25"
open -a Safari
Ho aggiunto questo a una macro Keyboard Maestro che è stata avviata da un trigger di scelta rapida da tastiera (per ora).
# revert pagezoom to 100%
killall Safari
defaults write com.apple.Safari DefaultPageZoom 1
open -a Safari
L'ho aggiunto a un'altra macro Keyboard Maestro che è stata avviata da un trigger di scelta rapida da tastiera (per ora).
Funziona alla grande ma il lato negativo è che Safari deve essere riavviato.
Script Apple
-- 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 ripristina il 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
Cambia la pagina senza riavviare Safari. Ma da una macro Keyboard Maestro non funziona in modo coerente.
TinkerTool
Tinkertool non offre solo la possibilità di impostare il pagezoom per Safari, ma anche di impostare il fontsize di sistema predefinito. Avvertenza: il cambiamento ha effetto solo dopo il riavvio delle applicazioni e Tinkertool non è scriptable, quindi richiede un intervento manuale.
Conclusione
Per ora rimarrò con le macro di Keyboard Maestro che eseguono gli script Apple. Quando il mio monitor grande è connesso, anche la webcam Logitech è collegata, quindi ho aggiunto un altro trigger ai macro:
USB Device with Name Containing 'Webcam' is Attached
per aumentare il pagezoom e
USB Device with Name Containing 'Webcam' is Detached
per ripristinare il pagezoom al 100%.
Questo mi consente di cambiare automaticamente il pagezoom quando connetti o disconnetti il grande schermo.