Alterar o formato da Captura de ecra
O formato por defeito da Captura de ecra é o PNG mas, por vezes precisamos de alterar para outros (ex. PDF). Pode-se dar uma visita ao Terminal, mas para simplificar escrevi esta Applescript:
[Abrir script no Script Editor - Mac Only]
set FileExtension to {"pdf", "png", "jpeg", "eps", "tiff", "psd", "gif", "pict", "bmp", "tga", "sgi", "exr", "jg2"}
sortFileExtension(FileExtension)
set grabFormat to (choose from list sortFileExtension with prompt "Escolha o formato:" cancel button name "Cancel" without multiple selections allowed and empty selection allowed)
if grabFormat is not false then
chooseFormat(grabFormat)
end if
on chooseFormat(grabFormat)
try
do shell script "defaults write com.apple.screencapture type" & space & grabFormat
do shell script "killall SystemUIServer"
display dialog "Formato da captura de ecra: " & grabFormat buttons {"OK"} with icon 1
on error
display dialog "Ocorreu um erro. Tente de novo."
end try
end chooseFormat
on sortFileExtension(FileExtension)
set old_delims to AppleScript's text item delimiters
set AppleScript's text item delimiters to {ASCII character 10}
set list_string to (FileExtension as string)
set new_string to do shell script "echo " & quoted form of list_string & " | sort -f"
set sortFileExtension to (paragraphs of new_string)
set AppleScript's text item delimiters to old_delims
return sortFileExtension
end sortFileExtension

