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

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

6

Ostatecznie udało mi się osiągnąć mój dokładnie pożądany format przy użyciu rozszerzenia GNOME autorstwa Daniela Khodabakhsha. Dziękuję Daniel!

Znalazłem to tutaj: https://github.com/Daniel-Khodabakhsh/datetime-format

Zrzut ekranu:

Format:% A | % m-% d-% G | % I:% M% p

— Lonnie Best
źródło

3

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

Pełny zegar

Zastępuje zegar domyślny pełnym, który pokazuje godzinę, datę i dzień tygodnia
Pełny zegar 2

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)

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:

— 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