เปลี่ยนรูปแบบวันที่ / เวลาในชื่อไฟล์ภาพหน้าจอได้หรือไม่

ตามค่าเริ่มต้นไฟล์ภาพหน้าจอจะถูกบันทึกด้วยชื่อดังนี้:

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: