Zmienić format daty / godziny w nazwie pliku zrzutu ekranu?

Domyślnie pliki zrzutów ekranu są zapisywane z takimi nazwami:

Screen Shot 2016-07-12 at 1.07.34 PM.png

Format daty jest świetny, ale irytuje mnie format czasu, ponieważ nie sortuje się automatycznie. Czy istnieje sposób na zmianę formatu na:

Screen Shot 2016-07-12 at 13.07.34.png

Korzysta ze standardowego formatu wyświetlania daty i godziny, który można dostosować w zakładce „Formaty” w Preferencjach systemowych → Język i tekst

Lub może być szybsze po prostu zmienić wyświetlanie czasu zegara na tryb 24-godzinny: Preferencje systemowe → Data i godzina

(Mam OS X 10.7.5, więc może być nieco inaczej zorganizowany / sformułowany w nowszych wersjach OS X).

Znalazłem najbardziej minimalne rozwiązanie (w systemie macOS 10.14.3):

Preferencje systemowe → Język i region , a następnie kliknij Zaawansowane ... , wybierz kartę Czasy , a dla formatu Średni kliknij listę rozwijaną godzin i przełącz ją z 1-12 na 00-23 i usuń element AM / PM: