GNOME: Убрать день недели из часов на панели

Убрать гномовскую панель?

В gnome-tweak-tool было что-то на эту тему.

Помищите на сайте расширений для gnome-shell, там было несколько расширений для изменения вида часов, возможно что-то вам подойдёт.

Вам не надоело писать нелепые комментарии ?

поставь другую панель

1) обратите внимание на локальные стандарты, возможно нужно ковырять их. например, можно установить язык системы английский, но чтобы стандарты даты и времени, чисел и т.п. отображались в русском варианте. другой вопрос: а настраиваются ли сами стандарты? чтобы уже их можно было кастомизировать и подпилить отображение даты в русской локали.

ковыряйте glibc, если не лень. /usr/share/i18n/locales/ru_RU например.

2) это гном и задача разрабов - выкинуть из него всякую кастомизацию. поэтому о такой тонкой настройке даты можете даже не мечтать =)

Это мой последний нелепый комментарий. Теперь только по делу.

dconf-editor / gnome-tweak-tool

Да нет ничего подходящего ни среди расширений, ни в dconf-editor / gnome-tweak-tool.

В региональных настройках, когда выбираешь «Русский», там время указано нормально - ЧЧ:ММ:СС.

Однако везде эта комбинация «Вс 15:14» как будто одно целое... КАКОГО ЧОРТА им туда понадобилось вставить день недели, который выпилить без хирургического вмешательства нельзя, - я не имею ни малейшего представления :((( Видимо, остается только копать глубже. Спасибо.

Смотри в сорцах, откуда оно берет формат даты...

напиши фичреквест в гном, они поймут что дни недели - слишком сложно для пользователей, и выпилят :)

Да в следующем релизе они сами уберут. Вместе с часами.

он скор набивает, забей

На 3.4 страдал от той же проблемы и никаких расширений для этого не было. Похоже мало что изменилось. Гном реально настраивается только правкой исходников.