私は Gnome Clock Override Extension を数か月使用しており、最近まですべてがうまく機能していました。現在、時計バーに表示できるのは、カスタマイズした行を作成するために使用するマークアップ言語だけです。
単純な例、見る代わりに:
17.30
そうですか:
%H.%M
後者は、拡張機能で使用されるマークアップの例の1つです。
もちろん、拡張機能を無効にすると、基本的な時計は表示されますが、残りはすべて表示されません。私は他の拡張機能を使用しており、それらをすべて無効にして、これで問題が「修正」されるかどうかを確認しようとしましたが、変更はありません。
現在、Gnome 3.28.2でUbuntu 18.04.1を実行しています。
バグレポートを送信した後、開発者の1人から次の返信がありました。
この問題は修正され、GNOME Extensionsにプッシュされました。手動レビューは保留中です(これらのレビューはボランティアによって行われ、永久に取得できます)が、すぐに更新が利用可能になるはずです。
気が進まない場合は、GitHubでパッチを見つけて適用できます。 https://github.com/stuartlangridge/gnome-Shell-clock-override/issues/1
そのため、修正を取得するのは時間の問題です。
UPDATE:リリースがレビューされ、ダウンロード可能になりました。問題が解決しました。
修正バージョンは、使用できるようになるまでレビュー待ちです。
%H:%M %;@
「%; @」は数値を生成します。この数値が何であるかわかりませんが、機能します