시간이 3월8 00:42 이런식으로 뜹니다. 왜 말을 하다 말까요. 그렇다고 영어로 볼 수는 없습니다. 08/23/03이 도대체 무슨 날입니까. 찾아보니까 Clock Override라는 GNOME 확장기능이 있긴한데 최신 버전은 지원을 안 한답니다. 여기저기로 설치할 방법을 찾아보다가 깃헙 이슈를 보고 지원이 안 된다는 걸 알게 되었습니다.

대체제를 찾아보니까 있더군요. Date Menu Formatter입니다.

그 외에 snap으로 파이어폭스를 깔아서 생기는 문제 등등이 있긴 한데 apt로 flatpak이란 걸 깔고 Extensions라는 것도 깔아주고 Extension Manager도 깔아주고 하면 되는 것 같습니다. 사실 필요없을 수도 있는데 아무튼 제가 최종적으로 설치한 조건은 그랬습니다.

이제 Extension Manager에서 Date Menu Formatter 설정을 열어서 아래에 나와있는 도움말을 보고 잘 설정하시면 됩니다. 저는 M d EEEE kk : mm로 패턴 넣고 locale은 ko-KR로 했습니다. 지금은 3월 8일 수요일 00:53이네요.