Изменить формат даты / времени в имени файла снимка экрана?

По умолчанию файлы скриншотов сохраняются с такими именами:

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

Формат даты отличный, но формат времени меня раздражает, потому что он не сортируется автоматически. Есть ли способ изменить формат на:

Screen Shot 2016-07-12 at 13.07.34.png

Он использует стандартный формат отображения даты / времени, который вы можете настроить на вкладке «Форматы» в « Системных настройках» → «Язык и текст».

Или, может быть, быстрее просто переключить отображение времени на 24-часовой режим: Системные настройки → Дата и время

(У меня OS X 10.7.5, поэтому он может быть организован / сформулирован немного иначе в новых версиях OS X.)

Я нашел самое минимальное решение (в macOS 10.14.3):

Системные настройки → Язык и регион , затем нажмите « Дополнительно» , выберите вкладку « Времена », а для среднего формата щелкните ниспадающий список часов, переключите его с 1-12 на 00-23 и удалите элемент AM / PM: