Wie ändere ich das Datumsformat in der Gnome 3-Shell?


21

Ich möchte das Datums- / Uhrzeitformat im oberen Bereich in ein Format ändern, das in der Nähe von RFC 3339 / ISO 8601 liegt, z.

%F %T → 24.06.2013 16:13:00 Uhr

%F %a %T → 2013-06-24 Mo 16:13:00

%A %F %T → Montag, den 24.06.2013 um 16:13 Uhr

Ich weiß, dass Unity irgendwo eine Präferenz in dconf versteckt hat, so habe ich es in Unity gemacht, aber ich kann eine solche Präferenz für die Gnome 3-Shell nicht finden. Am liebsten würde ich auch eines davon als systemweite Datums- / Zeiteinstellung festlegen.



3
@ Radu: Unity-Shell ist keine Gnome-Shell. Nein, es ist kein Duplikat dieser Frage.
James Haigh

Leider ist gnome-shell ein Synonym für gnome , obwohl es in der Tat nur ein Teil von Gnome 3 ist, der durch die Unity-Shell im Haupt-Ubuntu ersetzt wird.
James Haigh

@edwin: Entweder die Art und Weise? Ich habe nicht einmal diese 2 Schlüssel in meiner dconf. Vielleicht sollten Sie es selbst testen und, wenn Sie Erfolg haben, hier eine Antwort hinterlassen. Bis dahin ist diese Frage kein Duplikat dieser Frage . Wie ich in der Frage erwähnt habe, weiß ich, dass es in Unity möglich ist. Ich habe es bereits zuvor mit diesen beiden Schlüsseln gemacht, aber dies ist die Gnome-Shell. Können wir jetzt weitermachen?
James Haigh

1
Ich habe hier , hier und hier gesucht . Soweit gesagt (zumindest gemäß dem letzten 'hier'), sieht es so aus, als ob die API so geändert wurde, dass sich das Format im C / C ++ - Code befindet. Ich meine, ich kann in der JavaScript-API nichts über die WallClockKlasse finden (mit der Sie die Datei ändern können /usr/share/gnome-shell/js/ui/dateMenu.js).
Edwin

Antworten:


20

Öffnen Sie ein Terminal und legen Sie fest

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

YMMW - das hat für mich auf Fedora 19 funktioniert.


1
… Und Fedora22!
Dirk

4
Die Frage ist, wie das Format des angezeigten Datums (von der Uhr und an anderen Orten) geändert werden kann und nicht, wie das Datum neben der Uhr angezeigt wird.
Harry Cutts

Cool, aber leider nicht grafisch!
MUY Belgium

Funktioniert auch auf Ubuntu 18.04
xarlymg89

9

Zusätzlich zu dem, was Martin sagt, funktionierte das Folgende für mich unter Ubuntu 14.04, wo dconf-editor es nicht tat:

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

1
Wie bei Martins Antwort stellt sich die Frage, wie das Format des angezeigten Datums (von der Uhr und an anderen Orten) geändert werden kann und nicht, wie das Datum neben der Uhr angezeigt wird.
Harry Cutts

Klar


3

Sie können eine dieser drei Erweiterungen ausprobieren:

  • Volle Uhr

    Bildbeschreibung hier eingeben Ersetzt die Standarduhr durch eine vollständige Uhr mit Uhrzeit, Datum und Wochentag

  • Volle Uhr 2

    Bildbeschreibung hier eingeben Ersetzt die Standarduhr durch eine Uhr mit Datum, Woche, Wochentag und Uhrzeit.

  • Format Clock (Entwicklung eingestellt, aber anscheinend in 3.16 gut funktioniert)

    Bildbeschreibung hier eingeben Ändern Sie das Uhrzeitformat auf der Oberseite.

    Es heißt, die Entwicklung wurde eingestellt, aber ich habe es getestet und manuell bearbeitet metadata.json, um 3.18es einzuschließen , und es funktioniert:

    Bildbeschreibung hier eingeben


Ich kann keine dieser Versionen installieren, da sie anscheinend 3.18 nicht unterstützen und sie anscheinend nicht einmal heruntergeladen werden.

@ParanoidPanda Format Clock ist auf Github (Anweisungen finden Sie in der README- Datei ), und Sie können bernaerts.dyndns.org/linux/76-gnome/… für die anderen ausprobieren .
muru

2
Und gibt es keine Möglichkeit, Einstellungen zu ändern dconf-editor oder etwas zu tun, anstatt etwas zu installieren?

@ParanoidPanda Nein. Ich kann nur das Datum dort anzeigen.
muru

2

Teilantwort:

Obwohl es nicht so aussieht, als wäre die Panel-Uhr einfach zu formatieren, ist das Kalendermenü, das durch Klicken darauf geöffnet wird, sehr einfach. Hier ist ein kurzer Hack:

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

( vimoder ein anderer Texteditor.)

Suchen Sie nach ' B %d, %Y' und ersetzen Sie diese durch ' F'. Speichern. Drücken Sie Alt+ F2, r, Enter, die Shell neu zu starten.

Das Durchsuchen des übergeordneten Verzeichnisses zeigt einige andere, mit denen es sich zu experimentieren lohnt:

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

Leider gibt die Suche nach dem abgekürzten Monatsnamen in der Uhr hier nichts zurück:

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

Alle Änderungen an dieser Datei werden wahrscheinlich durch Aktualisierungen von Gnome überschrieben. Möglicherweise möchten Sie die Originale der von Ihnen bearbeiteten Dateien behalten ( sudo mv [name].js [name].js.orig).


Es lohnt sich calendar.jsauch damit zu arbeiten. Es gibt 2 relevante Zeilen in der _showOtherDayFunktion.
James Haigh

1

Unter Ubuntu 19.10:

gsettings set org.gnome.desktop.interface clock-show-weekday true
gsettings set org.gnome.desktop.interface clock-show-seconds true

etc.

Oder renn

dconf-editor

und gehe zu org.gnome.desktop.interface . Sie werden feststellen clock-show-weekday, clock-show-seconds, clock-show-dateund andere.

Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.