如何更改 Gnome 3 shell 中的日期格式？

Question

我想将顶部面板上的日期/时间格式更改为接近 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 shell 的偏好。最好，我还想将其中之一设置为我的系统范围的日期/时间区域设置首选项。

Answer 1

打开终端并设置

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

YMMW - 这在 Fedora 19 上对我有用。

Answer 2

除了 Martin 所说的之外，以下内容在 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

Answer 3

我最终能够使用 Daniel Khodabakhsh 制作的 GNOME 扩展实现我完全想要的格式。谢谢丹尼尔！

我在这里发现：https : //github.com/Daniel-Khodabakhsh/datetime-format

截屏：

格式：%A | %m-%d-%G | %I:%M%p

Answer 4

部分答案：

\n\n

虽然面板时钟看起来不太容易格式化，但是点击它打开的日历菜单却很容易。这是一个快速技巧：

\n\n

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

\n\n

（vim或任何其他文本编辑器。）

\n\n

搜索 \xe2\x80\x98 B %d, %Y\xe2\x80\x99，并替换为 \xe2\x80\x98 F\xe2\x80\x99。节省。按Alt+ F2、r、Enter、 重新启动 shell。

\n\n

搜索父目录会发现其他一些可能值得尝试的内容：

\n\n

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

\n\n

但不幸的是，在面板时钟中搜索缩写的月份名称不会返回任何内容：

\n\n

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

\n\n

对这些文件的任何更改都可能会被 Gnome 更新覆盖，并且您可能希望保留您编辑的文件的原始文件 ( sudo mv [name].js [name].js.orig)。

\n