Gnomeトップバーの時間を年月日時間になおす

 意外と、このようなまとめ記事を作ったりする場合に、年月日時間が必要なので、Gnomeでちょっと面倒でした。
Gnome extentionがありましたので、設定しました。
 「Datetime Format」というExtentionです。
 詳細は、Install extentionのスイッチの横にある、Configre this extentionを押して、設定します。
Screenshot from 2019-02-12 16-08-47
 これで楽になりました。

PC

Posted by masterkudo