Come posso cambiare il formato della data nella shell di Gnome 3?

21

Voglio cambiare il formato data / ora sul pannello superiore in un formato vicino a RFC 3339 / ISO 8601, come uno di questi:

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

%F %a %T → 24/06/2013 lun 16:13:00

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

So che Unity ha una preferenza nascosta da qualche parte in dconf, ecco come l'ho fatta in Unity, ma non riesco a trovare una tale preferenza per la shell di Gnome 3. Preferibilmente, mi piacerebbe anche impostare uno di questi come preferenza locale / data locale per tutto il sistema.

gnome

— James Haigh
fonte

1

possibile duplicato di Come configurare il formato della data dell'orologio su ISO 8601?

— Radu Rădeanu,

3

@Radu: la shell Unity non è la shell Gnome. No, non è un duplicato di quella domanda.

— James Haigh,

Sfortunatamente, gnome-shell è sinonimo di gnome , quando in realtà è solo una parte di Gnome 3 che viene sostituita dalla shell Unity in Ubuntu principale.

— James Haigh,

@edwin: O che modo? Non ho nemmeno quei 2 tasti nel mio dconf. Forse dovresti provarlo tu stesso e, se ci riesci, pubblica una risposta qui. Fino ad allora, questa domanda non è un duplicato di quella. Come ho detto nella domanda, so che è possibile in Unity, l'ho già fatto in precedenza, usando quei 2 tasti, ma questa è la shell Gnome. Possiamo andare avanti adesso?

— James Haigh,

1

Ho cercato qui , qui e qui . Metti così lontano (almeno secondo l'ultimo 'qui') sembra che l'API sia stata modificata, quindi il formato è all'interno del codice C / C ++. Voglio dire, non riesco a trovare nulla nell'API JavaScript sulla WallClockclasse (che potresti usare per modificare il file /usr/share/gnome-shell/js/ui/dateMenu.js).

— edwin,

20

Apri un terminale e imposta

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

YMMW - questo ha funzionato per me su Fedora 19.

— balestruccio
fonte

1

... e Fedora22!

— Dirk,

4

La domanda è: come modificare il formato della data visualizzata (dall'orologio e in altri luoghi), non come visualizzare la data accanto all'orologio.

— Harry Cutts,

Fantastico, ma purtroppo non grafico!

— MUY Belgio,

Funziona anche su Ubuntu 18.04

— xarlymg89

9

Oltre a ciò che dice Martin, quanto segue ha funzionato per me su Ubuntu 14.04, dove dconf-editor non ha funzionato:

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

— Seddy
fonte

1

Come per la risposta di Martin, la domanda è come modificare il formato della data visualizzata (dall'orologio e in altri luoghi), non come visualizzare la data accanto all'orologio.

— Harry Cutts,

Il punto giusto, inoltre, avrei probabilmente dovuto lasciare questo come un commento sulla risposta di Martin

— seddy

6

Alla fine sono stato in grado di ottenere il formato desiderato con un'estensione GNOME creata da Daniel Khodabakhsh. Grazie Daniel!

L'ho trovato qui: https://github.com/Daniel-Khodabakhsh/datetime-format

Immagine dello schermo:

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

— Lonnie Best
fonte

3

Puoi provare una di queste tre estensioni:

Orologio completo

Sostituisce l'orologio predefinito con uno completo che mostra l'ora, la data e il giorno della settimana
Orologio completo 2

Sostituisce l'orologio predefinito con uno che mostra la data, la settimana, il giorno della settimana e l'ora.
Format Clock (sviluppo interrotto, ma apparentemente funzionante nel 3.16)

Cambia il formato dell'orologio del pannello superiore.

Dice che lo sviluppo è stato sospeso, ma l'ho testato, modificando manualmente metadata.jsonper includere 3.18e funziona:

— Muru
fonte

Non riesco a installare nessuno di questi perché non sembrano supportare 3.18 e non sembra nemmeno scaricarli.

@ParanoidPanda Format Clock è su Github (vedi il README per le istruzioni) e puoi provare bernaerts.dyndns.org/linux/76-gnome/… per gli altri.

— muru,

2

E non c'è modo di modificare alcuna impostazione dconf-editor o qualcosa per farlo piuttosto che installare qualcosa?

@ParanoidPanda no. Le uniche impostazioni che posso trovare sono solo per mostrare la data lì.

— Muru,

2

Risposta parziale:

Anche se non sembra che l'orologio del pannello sia facile da formattare, il menu del calendario aperto facendo clic su di esso è molto semplice. Ecco un trucco rapido:

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

( vimo qualsiasi altro editor di testo.)

Cerca " B %d, %Y" e sostituiscilo con " F". Salva. Premete Alt+ F2, r, Enter, per riavviare la shell.

La ricerca nella directory principale ne rivela alcune che potrebbero valere la pena sperimentare:

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

ma sfortunatamente, la ricerca del nome del mese abbreviato nell'orologio del pannello non restituisce nulla qui:

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

Eventuali modifiche a questi file verranno probabilmente sovrascritte dagli aggiornamenti di Gnome e potresti voler conservare gli originali dei file che modifichi ( sudo mv [name].js [name].js.orig).

— James Haigh
fonte

Vale la pena farlo anche con calendar.js; ci sono 2 righe rilevanti nella _showOtherDayfunzione.

— James Haigh,

1

Su Ubuntu 19.10:

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

eccetera.

Oppure , corri

dconf-editor

e vai a org.gnome.desktop.interface. Troverete clock-show-weekday, clock-show-seconds, clock-show-datee altri.

— GS
fonte