De forma predeterminada, los archivos de captura de pantalla se guardan con nombres como este:
Screen Shot 2016-07-12 at 1.07.34 PM.png
El formato de fecha es excelente, pero el formato de hora me molesta porque no se clasifica automáticamente. ¿Hay alguna manera de cambiar el formato a:
Screen Shot 2016-07-12 at 13.07.34.png