Par défaut, les fichiers de capture d'écran sont enregistrés avec des noms comme celui-ci :
Screen Shot 2016-07-12 at 1.07.34 PM.png
Le format de la date est excellent, mais le format de l'heure m'ennuie parce qu'il n'effectue pas de tri automatique. Existe-t-il un moyen de changer le format en :
Screen Shot 2016-07-12 at 13.07.34.png