Jak zmienić format daty w powłoce Gnome 3?

21

Chcę zmienić format daty / godziny na górnym panelu na format zbliżony do RFC 3339 / ISO 8601, taki jak jeden z poniższych:

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

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

%A %F %T → poniedziałek 2013-06-24 16:13:00

Wiem, że Unity ma preferencję gdzieś ukrytą w dconf, tak właśnie zrobiłem w Unity, ale nie mogę znaleźć takiej preferencji dla powłoki Gnome 3. Najlepiej też ustawić jeden z nich jako preferencję ustawień daty i godziny w całym systemie.

gnome James Haigh
źródło
1
możliwy duplikat Jak skonfigurować format daty zegara na ISO 8601?
Radu Rădeanu
3
@Radu: Powłoka Unity nie jest powłoką Gnome. Nie, to nie duplikat tego pytania.
James Haigh
Niestety, gnome-shell jest synonimem gnome , podczas gdy w rzeczywistości jest tylko częścią Gnome 3, która jest zastąpiona powłoką Unity w głównym Ubuntu.
James Haigh
@edwin: Który to sposób? Nie mam nawet tych 2 kluczy w moim dconf. Może powinieneś sam to przetestować, a jeśli ci się powiedzie, opublikuj odpowiedź tutaj. Do tego czasu to pytanie nie jest duplikatem tego pytania . Jak wspomniałem w pytaniu, wiem, że jest to możliwe w Unity, zrobiłem to wcześniej, używając tych 2 kluczy, ale to jest powłoka Gnome. Czy możemy teraz przejść?
James Haigh
1
Szukałem tutaj , tutaj i tutaj . Jak dotąd (przynajmniej zgodnie z ostatnim „tutaj”) wygląda na to, że interfejs API został zmodyfikowany, więc format znajduje się w kodzie C / C ++. Mam na myśli, że nie mogę nic znaleźć w API JavaScript na temat WallClockklasy (której można by użyć do zmiany pliku /usr/share/gnome-shell/js/ui/dateMenu.js).
edwin

Odpowiedzi:

20

Otwórz terminal i ustaw 

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

YMMW - to działało dla mnie w Fedorze 19.

Jaskółka oknówka
źródło
1
… I Fedora22!
Dirk
4
Pytanie dotyczy tego, jak zmienić format wyświetlanej daty (według zegara i innych miejsc), a nie jak wyświetlać datę obok zegara.
Harry Cutts,
Fajnie, ale niestety nie graficznie!
MUY Belgia,
Działa również na Ubuntu 18.04
xarlymg89
9

Oprócz tego, co mówi Martin, następujące działania działały dla mnie na Ubuntu 14.04, gdzie edytor dconf nie działał:

gsettings set org.gnome.desktop.interface clock-show-date true
gsettings set org.gnome.desktop.interface clock-show-seconds true
seddy
źródło
1
Podobnie jak w przypadku odpowiedzi Martina, pytanie dotyczy tego, jak zmienić format wyświetlanej daty (według zegara i w innych miejscach), a nie jak wyświetlać datę obok zegara.
Harry Cutts,
Trzeba przyznać, że prawdopodobnie powinienem zostawić to jako komentarz do odpowiedzi Martina
sprośny
3

Możesz wypróbować jedno z tych trzech rozszerzeń:

  • Pełny zegar

    wprowadź opis zdjęcia tutaj Zastępuje zegar domyślny pełnym, który pokazuje godzinę, datę i dzień tygodnia

  • Pełny zegar 2

    wprowadź opis zdjęcia tutaj Zastępuje domyślny zegar datą, tygodniem, dniem tygodnia i godziną.

  • Format Clock (programowanie przerwane, ale najwyraźniej działa dobrze w wersji 3.16)

    wprowadź opis zdjęcia tutaj Zmień format zegara na górnym panelu.

    Mówi, że develpmont został wycofany, ale przetestowałem go, ręcznie edytując w metadata.jsoncelu włączenia 3.18i działa:

    wprowadź opis zdjęcia tutaj

muru
źródło
Nie mogę zainstalować żadnego z nich, ponieważ wydaje się, że nie obsługują one wersji 3.18 i nawet nie wydaje się, aby je pobierały.
@ParanoidPanda Format Clock znajduje się na Github (instrukcje znajdują się w pliku README), a dla innych możesz spróbować bernaerts.dyndns.org/linux/76-gnome/… .
muru
2
I nie ma sposobu, aby zmienić jakiekolwiek ustawienia dconf-editor lub coś w tym celu, zamiast zainstalować coś?
@ParanoidPanda nope. Jedyne ustawienia, które mogę znaleźć, to tylko pokazywanie tam daty.
muru
2

Częściowa odpowiedź:

Chociaż nie wygląda na to, że zegar panelu jest łatwy do sformatowania, menu kalendarza otwarte po kliknięciu go jest bardzo łatwe. Oto szybki hack:

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

( vimlub dowolny inny edytor tekstu).

Wyszukaj „ B %d, %Y” i zamień na „ F”. Zapisać. Naciśnij przycisk Alt+ F2, r, Enter, aby ponownie uruchomić powłokę.

Przeszukiwanie katalogu nadrzędnego ujawnia kilka innych, z którymi warto byłoby poeksperymentować:

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

ale niestety wyszukiwanie skróconej nazwy miesiąca w zegarze panelu nic tu nie zwraca:

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

Wszelkie zmiany w tych plikach prawdopodobnie zostaną zastąpione aktualizacjami do Gnome i możesz chcieć zachować oryginalne pliki, które edytujesz ( sudo mv [name].js [name].js.orig).

James Haigh
źródło
Warto też z tym zrobić calendar.js; w _showOtherDayfunkcji są 2 odpowiednie linie .
James Haigh
1

W systemie Ubuntu 19.10:

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

itp.

Lub biegnij

dconf-editor

i idź do org.gnome.desktop.interface. Znajdziesz clock-show-weekday, clock-show-seconds, clock-show-datei inni.

GS
źródło