Я установил Ubuntu 18.04, и у меня есть следующая проблема:
Я пытался изменить дату на верхней панели к 12-му формату вместо 24-го формата по умолчанию, но я не нашел доступной для редактирования опции в настройки или gnome-tweaks
инструмент.
Я надеюсь найти справку здесь.
Существует несколько путей:
От GUI (настройки):
Откройте Settings> Details> Date и Time. Затем выберите или 24 часа, или/пополудни
От GUI (использующий dconf-редактора)
Откройте dconf Редактора (не установленный по умолчанию, работать
sudo apt install dconf-editor
устанавливать), и обзор к org> гном> рабочий стол> интерфейс> формат часов, и изменять формат на '12h'
Из командной строки:
Выполните команду:
gsettings set org.gnome.desktop.interface clock-format '12h'
Вернуться:
gsettings set org.gnome.desktop.interface clock-format '24h'
Для выполнения следующих команд сначала установите dconf-editor
пакет:
sudo apt install dconf-editor
Затем выполняет эту команду, для переключения на 12-часовой режим:
gsettings set org.gnome.desktop.interface clock-format '12h'
, Если Вы когда-нибудь хотите вернуться к 24-часовому режиму, можно сделать так путем выполнения:
gsettings set org.gnome.desktop.interface clock-format '24h'
Щелкните правой кнопкой в день и время, расположенное в панели.
Изменение капитал R к нижнему регистру r.