Неверный формат даты

Я знаю, что это должно быть очень просто решить, но каждая ссылка, которую я читал об изменении формата, решается с помощью языковой поддержки. Я хочу, чтобы дата на верхней панели была в том формате, в котором она должна быть.

Я хочу, чтобы она была в испанском формате, то есть «jue 24 dec», а не «jue dec 24». Единственное, что является испанским в моей верхней панели даты - это то, что она читается как «jue» (от испанского «jueves») вместо «thu».

Это результат команды locale :

LANG=en_US.UTF-8
LANGUAGE=en_US:en
LC_CTYPE="en_US.UTF-8"
LC_NUMERIC=es_AR.UTF-8
LC_TIME=es_AR.UTF-8
LC_COLLATE="en_US.UTF-8"
LC_MONETARY=es_AR.UTF-8
LC_MESSAGES="en_US.UTF-8"
LC_PAPER=es_AR.UTF-8
LC_NAME=es_AR.UTF-8
LC_ADDRESS=es_AR.UTF-8
LC_TELEPHONE=es_AR.UTF-8
LC_MEASUREMENT=es_AR.UTF-8
LC_IDENTIFICATION=es_AR.UTF-8
LC_ALL=

Я знаю, что могу установить расширение Clock Override, но должен быть простой способ исправить это. Я выполнил установку на испанском языке, а затем изменил язык SO на английский.