How can I change the time format on the Ubuntu 20.04 lock screen?

Question

I just installed Ubuntu 20.04 LTS on my laptop and would like to change the time format on the lock screen to 12-hour time. Is there a file on the system I can edit to change the format, or do the people at Ubuntu just assume everyone wants to use 24-hour time? I looked at the answer provided for a similar question, but it didn't answer what I'm asking.

Answer 1

I was able to change the format by following the instructions on this page but changing step 2 such that I added the dconf key org/gnome/desktop/interface and set the value of clock-format to '12h'.