Bagaimana cara mengubah format tanggal di shell Gnome 3?

21

Saya ingin mengubah format tanggal / waktu di panel atas ke format yang dekat dengan RFC 3339 / ISO 8601, seperti yang berikut ini:

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

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

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

Saya tahu Unity memiliki preferensi di suatu tempat yang tersembunyi di dconf, ini adalah bagaimana saya melakukannya di Unity, tetapi saya tidak dapat menemukan preferensi seperti itu untuk shell Gnome 3. Lebih disukai, saya juga ingin menetapkan ini sebagai preferensi lokal tanggal / waktu sistem saya.

gnome

— James Haigh
sumber

1

kemungkinan duplikat dari Cara mengkonfigurasi format tanggal jam ke ISO 8601?

— Radu Rădeanu

3

@ Radu: Shell persatuan bukan shell Gnome. Tidak, ini bukan duplikat dari pertanyaan itu.

— James Haigh

Sayangnya, gnome-shell adalah sinonim dari gnome , padahal sebenarnya itu hanya bagian dari Gnome 3 yang digantikan oleh Unity shell di Ubuntu utama.

— James Haigh

@edwin: Entah yang cara? Saya bahkan tidak memiliki 2 kunci di dconf saya. Mungkin Anda harus mengujinya sendiri, dan jika Anda berhasil, kirim jawaban di sini. Sampai saat itu, pertanyaan ini bukan duplikat dari pertanyaan itu. Seperti yang saya sebutkan dalam pertanyaan, saya tahu itu mungkin di Unity, saya pernah melakukannya sebelumnya, menggunakan 2 kunci itu, tapi ini adalah shell Gnome. Bisakah kita pindah sekarang?

— James Haigh

1

Saya telah mencari di sini , di sini , dan di sini . Masukkan sejauh ini (setidaknya menurut yang terakhir 'di sini') sepertinya API telah dimodifikasi sehingga formatnya ada di dalam kode C / C ++. Maksud saya, saya tidak dapat menemukan apa pun di API JavaScript tentang WallClockkelas (yang dapat Anda gunakan untuk mengubah file /usr/share/gnome-shell/js/ui/dateMenu.js).

— edwin

20

Buka terminal dan atur

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

YMMW - ini berhasil bagi saya di Fedora 19.

— Martin
sumber

1

... dan Fedora22!

— Dirk

4

Pertanyaannya adalah bertanya bagaimana mengubah format tanggal yang ditampilkan (berdasarkan jam dan di tempat lain), bukan bagaimana menampilkan tanggal di sebelah jam.

— Harry Cutts

Keren, tapi sayangnya tidak grafis!

— MUY Belgium

Bekerja di Ubuntu 18,04 juga

— xarlymg89

9

Selain apa yang dikatakan Martin, berikut ini bekerja untuk saya di Ubuntu 14.04, di mana dconf-editor tidak:

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

— seddy
sumber

1

Seperti jawaban Martin, pertanyaannya adalah bagaimana mengubah format tanggal yang ditampilkan (berdasarkan jam dan di tempat lain), bukan bagaimana menampilkan tanggal di sebelah jam.

— Harry Cutts

Poin yang wajar, selain itu saya mungkin harus meninggalkan ini sebagai komentar atas tanggapan Martin

— seddy

6

Saya akhirnya dapat mencapai format yang saya inginkan dengan menggunakan ekstensi GNOME yang dibuat oleh Daniel Khodabakhsh. Daniel terima kasih!

Saya menemukan itu di sini: https://github.com/Daniel-Khodabakhsh/datetime-format

Tangkapan layar:

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

— Lonnie Best
sumber

3

Anda dapat mencoba salah satu dari tiga ekstensi ini:

Jam Penuh

Mengganti jam default dengan yang lengkap menunjukkan waktu, tanggal dan hari minggu
Jam Penuh 2

Mengganti jam default dengan tanggal, minggu, hari dan waktu yang menunjukkan satu.
Format Clock (pengembangan dihentikan, tetapi tampaknya berfungsi dengan baik di 3.16)

Ubah format jam panel atas.

Dikatakan develpmont telah dihentikan, tetapi saya mengujinya, secara manual mengedit metadata.jsonuntuk disertakan 3.18, dan berfungsi:

— muru
sumber

Saya tidak dapat menginstal semua itu karena mereka tampaknya tidak mendukung 3.18 dan bahkan tampaknya tidak mengunduhnya.

@ParanoidPanda Format Clock ada di Github (lihat README untuk instruksi), dan Anda dapat mencoba bernaerts.dyndns.org/linux/76-gnome/… untuk yang lainnya.

— muru

2

Dan tidak ada cara mengubah pengaturan dalam dconf-editor atau sesuatu untuk melakukan ini daripada menginstal sesuatu?

@ParanoidPanda nggak. Satu-satunya pengaturan yang dapat saya temukan hanyalah untuk menunjukkan tanggal di sana.

— muru

2

Sebagian jawaban:

Meskipun sepertinya jam panel tidak mudah diformat, menu kalender dibuka dengan mengkliknya sangat mudah. Ini hack cepat:

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

( vimatau editor teks lainnya.)

Cari ' B %d, %Y', dan ganti dengan ' F'. Menyimpan. Tekan Alt+ F2, r, Enter, untuk me-restart shell.

Mencari di direktori induk mengungkapkan beberapa orang lain yang mungkin layak untuk dicoba:

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

tapi sayangnya, mencari nama bulan yang disingkat di jam panel tidak menghasilkan apa-apa di sini:

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

Setiap perubahan pada file ini mungkin akan ditimpa oleh pembaruan ke Gnome, dan Anda mungkin ingin menyimpan file asli yang Anda edit ( sudo mv [name].js [name].js.orig).

— James Haigh
sumber

Ini layak dilakukan calendar.jsjuga; ada 2 baris yang relevan dalam _showOtherDayfungsi tersebut.

— James Haigh

1

Di Ubuntu 19.10:

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

dll.

Atau , jalankan

dconf-editor

dan pergi ke org.gnome.desktop.interface. Anda akan menemukan clock-show-weekday, clock-show-seconds, clock-show-datedan lain-lain.

— GS
sumber