Сначала позвольте мне сказать, что поддержка новых расширений в Ubuntu 17.10 / Gnome 3 - отличная возможность.
Мой вопрос связан с форматированием времени и данных, которые отображаются в верхней строке вверху пользовательского интерфейса (Gnome 3) после входа в систему. Обратите внимание, что я запускаю Ubuntu 17.10, но я использую Xorg вместо Wayland (используя передачу ниже моего имени входа).
Фон: я хочу, чтобы display to be dayofweekfullname monthfullname date year, hours (12-часовой формат) минут секунд am / pm.
1) Сначала я использовал gesttings. Я смог правильно настроить дату, часы (12-часовой формат) минут секунд / часов. Тем не менее, как день недели, так и название месяца все еще появились как сокращения.
2) Затем я попробовал dconf и ввел в пользовательскую строку (например,% A% B ...) в пользовательское время Поле форматирования. Мое первое наблюдение заключалось в том, что изменения, которые я сделал с помощью gsettings, здесь не показаны. Почему это так? А также, когда я ввел и применил новые пользовательские настройки в dconf, они не применялись к формату времени / даты в верхней части экрана. Опять же, почему?
3) Затем я узнал о расширении Clock Overide Extension - он работал как шарм - теперь у меня есть дисплей, показывающий дату и время, отформатированные точно так, как я хочу! Проблема решена.
4) Но ... после установки формата с помощью Clock Overide я вернулся к dconf и заметил, что никаких пользовательских изменений, сделанных в Clock Overide, нет. Зачем? Я бы подумал, что если бы я изменил формат даты и времени, любой инструмент, который позволил бы мне это сделать, отразил бы пользовательские изменения, сделанные с помощью другого инструмента / метода. Прошу прояснить мое понимание.
Спасибо.
Следующее описание основано на поиске доступного источника расширения https://github.com/stuartlangridge/gnome-shell-clock-override/blob/master/extension.js.
gnome3 ярлык даты и времени не предоставляет настройки конфигурации в любой форме. То, что это расширение делает, фактически заменяет текст метки верхнего слоя gnomes3 во время выполнения расширения.
Следующее описание основано на поиске доступного источника расширения https://github.com/stuartlangridge/gnome-shell-clock-override/blob/master/extension.js.
gnome3 ярлык даты и времени не предоставляет настройки конфигурации в любой форме. То, что это расширение делает, фактически заменяет текст метки верхнего слоя gnomes3 во время выполнения расширения.