Немного поздно, я знаю, но я нашел способ сделать это. (Однако для этого требуется расширение -с модификацией -.)
Вот шаг -по -пошаговому руководству:
silvioricardoc
)https://extensions.gnome.org/extension/617/fixclock/~/.local/share/gnome-shell/extensions/FixClock@silvioricardoc/
extension.js
в своем любимом редакторе. panelClockFormat
r
и нажмите Enter . ПРИМЕЧАНИЕ.:Если каталог расширения не работает, возможно, вам придется попробовать этот:/usr/share/gnome-shell/extensions/FixClock@silvioricardoc/extension.js