Как изменить формат даты в оболочке Gnome 3?

21

Я хочу изменить формат даты / времени на верхней панели на формат, близкий к RFC 3339 / ISO 8601, например, один из них:

%F %T → 2013-06-24 16:13:00

%F %a %T → 2013-06-24 Пн 16:13:00

%A %F %T → понедельник 2013-06-24 16:13:00

Я знаю, что у Unity есть предпочтение, скрытое где-то в dconf, именно так я и сделал в Unity, но я не могу найти такое предпочтение для оболочки Gnome 3. Желательно, чтобы я также выбрал один из них в качестве общесистемного предпочтения даты / времени.

gnome

— Джеймс Хей
источник

1

Возможный дубликат Как настроить формат даты и времени на ISO 8601?

— Раду Рэдяну

3

@Radu: оболочка Unity не является оболочкой Gnome. Нет, это не дубликат этого вопроса.

— Джеймс Хэй,

К сожалению, gnome-shell является синонимом gnome , когда на самом деле это только часть Gnome 3, которая заменяется оболочкой Unity в основной Ubuntu.

— Джеймс Хэй,

@edwin: Либо какой путь? У меня даже нет этих двух ключей в моем dconf. Возможно, вам стоит проверить это самостоятельно, и если вам это удастся, опубликуйте ответ здесь. До тех пор этот вопрос не является дубликатом этого. Как я уже упоминал в этом вопросе, я знаю, что это возможно в Unity, я делал это раньше, используя эти 2 ключа, но это оболочка Gnome. Можем ли мы двигаться дальше?

— Джеймс Хай,

1

Я искал здесь , здесь и здесь . Если говорить так (по крайней мере, в соответствии с последним «здесь»), то похоже, что API был изменен, поэтому формат находится внутри кода C / C ++. Я имею в виду, что не могу найти в JavaScript API ничего о WallClockклассе (который вы можете использовать для изменения файла /usr/share/gnome-shell/js/ui/dateMenu.js).

— Эдвин

20

Откройте терминал и установите

gsettings set org.gnome.desktop.interface clock-show-date true

YMMW - это сработало для меня на Fedora 19.

— Мартин
источник

1

… И Fedora22!

— Дирк

4

Вопрос в том, как изменить формат отображаемой даты (по часам и в других местах), а не как отображать дату рядом с часами.

— Гарри Каттс

Круто, но, к сожалению, не графический!

— MUY Бельгия

Работает на Ubuntu 18.04 тоже

— xarlymg89

9

В дополнение к тому, что говорит Мартин, у меня работало следующее в Ubuntu 14.04, где dconf-editor этого не делал:

gsettings set org.gnome.desktop.interface clock-show-date true
gsettings set org.gnome.desktop.interface clock-show-seconds true

— seddy
источник

1

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

— Гарри Каттс

— Честно говоря

6

В конечном итоге я смог достичь желаемого формата, используя расширение GNOME, созданное Даниэлем Ходабахшем. Спасибо, Даниэль!

Я нашел это здесь: https://github.com/Daniel-Khodabakhsh/datetime-format

Скриншот:

Формат:% A | % m-% d-% G | % I:% M% p

— Лонни Бест
источник

3

Вы можете попробовать одно из этих трех расширений:

Полные часы

Заменяет часы по умолчанию на полные часы с указанием времени, даты и дня недели.
Full Clock 2

Заменяет часы по умолчанию на часы с указанием даты, недели, дня недели и времени.
Формат Clock (разработка прекращена, но, видимо, работает нормально в 3.16)

Измените формат часов верхней панели.

Он говорит , что develpmont было прекращено, но я проверял, вручную редактируя metadata.jsonвключать 3.18, и она работает:

— Мур
источник

Я не могу установить ни один из них, потому что они, кажется, не поддерживают 3.18, и, кажется, даже не загружают их.

@ParanoidPanda Format Clock находится на Github (см. Инструкции в README), и вы можете попробовать bernaerts.dyndns.org/linux/76-gnome/… для других.

— Муру

2

И нет способа изменить какие-либо настройки dconf-editor или что-то сделать, вместо того, чтобы что-то устанавливать?

@ParanoidPanda Нету. Единственные настройки, которые я могу найти, это просто показ даты там.

— Муру

2

Частичный ответ:

Несмотря на то, что часы панели не выглядят простыми для форматирования, меню календаря, открываемое нажатием, очень просто. Вот быстрый взлом:

$ sudo vim /usr/share/gnome-shell/js/ui/dateMenu.js

( vimили любой другой текстовый редактор.)

Найдите « B %d, %Y» и замените на « F». Сохранить. Нажмите Alt+ F2, r, Enter, чтобы перезапустить оболочку.

Поиск в родительском каталоге обнаруживает несколько других, с которыми стоит поэкспериментировать:

$ rgrep -I '%B' /usr/share/gnome-shell/js/ui/

но, к сожалению, поиск сокращенного названия месяца на панели часов ничего не возвращает здесь:

$ rgrep -I '%b' /usr/share/gnome-shell/

Любые изменения в этом файле, вероятно, будут перезаписаны обновлениями Gnome, и вы можете захотеть сохранить оригиналы файлов, которые вы редактируете ( sudo mv [name].js [name].js.orig).

— Джеймс Хей
источник

Это также стоит делать calendar.js; в функции есть 2 соответствующие строки _showOtherDay.

— Джеймс Хай,

1

На Ubuntu 19.10:

gsettings set org.gnome.desktop.interface clock-show-weekday true
gsettings set org.gnome.desktop.interface clock-show-seconds true

и т.п.

Или беги

dconf-editor

и перейти к org.gnome.desktop.interface. Вы найдете clock-show-weekday, clock-show-seconds, clock-show-dateи другие.

— GS
источник