Как изменить формат даты в оболочке 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
источник