Per impostazione predefinita, i file screenshot vengono salvati con nomi come questo:
Screen Shot 2016-07-12 at 1.07.34 PM.png
Il formato della data è ottimo, ma il formato dell'ora mi infastidisce perché non si ordina automaticamente. C'è un modo per cambiare il formato in:
Screen Shot 2016-07-12 at 13.07.34.png