如何安装 GNOME Shell 扩展？
是否可以更新、删除和管理扩展？
我想将顶部面板上的日期/时间格式更改为接近 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 的偏好。最好，我还想将其中之一设置为我的系统范围的日期/时间区域设置首选项。