Gnome 3 kabuğundaki tarih biçimini nasıl değiştiririm?

21

Üst paneldeki tarih / saat biçimini, bunlardan biri gibi RFC 3339 / ISO 8601'e yakın bir biçime değiştirmek istiyorum:

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

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

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

Unity'nin dconf'ta gizlenmiş bir yerde bir tercihi olduğunu biliyorum, Unity'de böyle yaptım, ama Gnome 3 kabuğu için böyle bir tercih bulamıyorum. Tercihen, bunlardan birini sistem genelinde tarih / saat yerel tercihi olarak belirlemek de isterim.

gnome

— James Haigh
kaynak

1

Saat tarihi biçimini ISO 8601

— Radu Rădeanu

3

@ Radu: Birlik kabuğu Gnome kabuğu değil. Hayır, bu kadar değil o sorunun bir kopyası.

— James Haigh,

Ne yazık ki, gnome-shell bir gnome ile eşanlamlıdır, gerçekte Gnome 3'ün yalnızca bir kısmı Ubuntu'da Unity shell ile değiştirilir.

— James Haigh,

@ edwin: Hangi yoldan? Dconf'umda o 2 anahtar bile yok. Belki kendin test etmelisin ve başarılı olursa buraya bir cevap yaz. O zamana kadar, bu soru bunun bir kopyası değil . Soruda bahsettiğim gibi Unity'de bunun mümkün olduğunu biliyorum, daha önce de yaptım, bu 2 anahtarı kullanarak, ama bu Gnome kabuğu. Şimdi devam edebilir miyiz?

— James Haigh,

1

Buraya , buraya ve buraya bakıyorum . Şimdiye kadar koyun (en azından son 'buraya' göre), format C / C ++ kodunun içinde olacak şekilde API değiştirilmiş gibi görünüyor. Yani, JavaScript API'sinde WallClock(dosyayı değiştirmek için kullanabileceğiniz) sınıfla ilgili hiçbir şey bulamıyorum /usr/share/gnome-shell/js/ui/dateMenu.js.

— Edwin

20

Bir terminal aç ve ayarla

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

YMMW - bu benim için Fedora 19’da işe yaradı.

— kırlangıç
kaynak

1

… Ve Fedora22!

— Dirk

4

Soru, saatin yanında tarihin nasıl gösterileceğini değil, görüntülenen tarihin biçimini nasıl değiştireceğinizi soruyor (saat ve diğer yerlerde).

— Harry,

Harika, ama ne yazık ki grafik değil!

— MUY Belçika

Ubuntu

— 18.04'te

9

Martin’in söylediğine ek olarak, aşağıdakiler benim için çalıştığını söyledi: Ubuntu 14.04, dconf-editor:

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

— seddy
kaynak

1

Martin'in cevabında olduğu gibi, soru saatin yanında tarihin nasıl gösterileceğini değil, görüntülenen tarihin biçimini nasıl değiştireceğinizi soruyor (saat ve diğer yerlerde).

— Harry,

Dürüst olmak gerekirse, ek olarak muhtemelen Martin'in cevabı üzerine bir yorum olarak

— bırakmalıydım

6

Sonunda Daniel Khodabakhsh tarafından yapılan bir GNOME eklentisini kullanarak tam olarak istenen formatımı elde etmeyi başardım. Teşekkürler Daniel!

Bunu burada buldum: https://github.com/Daniel-Khodabakhsh/datetime-format

Ekran görüntüsü:

Biçim:% A | % m-% d-% G | % I:% M% p

— Lonnie Best
kaynak

3

Bu üç uzantıdan birini deneyebilirsiniz:

Tam saat

Varsayılan saati, saati, tarihi ve haftanın gününü gösteren eksiksiz bir taneyle değiştirir.
Tam saat 2

Varsayılan saati, tarih, hafta, haftanın günü ve saati gösteren bir numara ile değiştirir.
Saati Biçimlendir (geliştirme durdu, ancak 3.16'da görünüşte iyi çalışıyor)

Üst panel saat formatını değiştirin.

Develpmont'un kaldırıldığını söylüyor, ancak metadata.jsondahil etmek için el ile düzenleme yaparak test ettim 3.18ve işe yarıyor:

— muru
kaynak

Bunların hiçbirini yükleyemiyorum, çünkü 3.18'i desteklemiyor gibi görünüyorlar ve onları indirmek için bile görünmüyor.

@ParanoidPanda Format Clock Github'da (talimatlar için README'ye bakınız) ve diğerleri için bernaerts.dyndns.org/linux/76-gnome/… deneyebilirsiniz .

— muru

2

Ve herhangi bir ayarı değiştirmenin dconf-editor ya da yapacak bir şeyi değiştirmenin hiçbir yolu yoktur.

@ ParanoidPanda hayır. Bulabildiğim tek ayar sadece oradaki tarihi göstermek içindir.

— muru

2

Kısmi cevap:

Panel saatinin biçimlendirmesi kolay görünmese de, tıklanarak açılan takvim menüsü çok kolaydır. İşte hızlıca kesmek:

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

( vimveya başka bir metin editörü.)

' B %d, %Y' Arayın ve ' F' ile değiştirin . Kayıt etmek. Basın Alt+ F2, r, Enter, kabuk yeniden.

Ana dizinde arama yapmak, denemeye değer olabilecek birkaç tane daha ortaya çıkarır:

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

ancak ne yazık ki, panel saatindeki kısaltılmış ay adını aramak burada hiçbir şey döndürmez:

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

Bu dosyadaki herhangi bir değişiklik muhtemelen Gnome'daki güncellemelerle değiştirilecektir ve düzenlediğiniz dosyaların orijinallerini saklamak isteyebilirsiniz ( sudo mv [name].js [name].js.orig).

— James Haigh
kaynak

Aynı calendar.jszamanda yapmaya değer ; _showOtherDayfonksiyonda 2 ilgili satır var .

— James Haigh,

1

Ubuntu 19.10'da:

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

vb.

Ya da koş

dconf-editor

ve git org.gnome.desktop.interface. Sen bulacaksınız clock-show-weekday, clock-show-seconds, clock-show-dateve diğerleri.

— GS
kaynak