Каков рекомендуемый способ изменить первый день недели на понедельник (вместо воскресенья, как на скриншоте ниже)?

Я не смог найти ничего связанного ни с настройками часов, ни с Системой -> Настройки, ни с Системой -> Администрирование.
Вероятно, это как-то связано с настройкой локалей, поэтому вот (возможно, уместно) вывод из locale:
LANG=en_US.utf8
LC_CTYPE="en_US.utf8"
LC_NUMERIC="en_US.utf8"
LC_TIME="en_US.utf8"
...
LC_ALL=
NB : я хочу оставить английский язык UI как в GNOME, так и в командной строке. Даты в настоящее время отображаются так (например ls -l):, 2010-10-06 15:32и я также хочу сохранить это как есть.
killall gnome-panelбыло недостаточно). Тем не менее, кто-то в ветке отметил, что: «Хотя это полезно и будет делать трюк временно, он будет работать только до обновления или переустановки пакета« locales », потому что тогда этот файл будет перезаписан / заменен новым из пакета locales ". Я также нашел другое решение, которое я
first_weekday 2и first_workday 2в LC_TIMEразделе в /usr/share/i18n/locales/<your_locale>.

