¿Cómo cambio el formato de fecha en el shell de Gnome 3?

21

Quiero cambiar el formato de fecha / hora en el panel superior a un formato cercano a RFC 3339 / ISO 8601, como uno de estos:

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

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

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

Sé que Unity tiene una preferencia en algún lugar oculto en dconf, así es como lo hice en Unity, pero no puedo encontrar esa preferencia por el shell Gnome 3. Preferiblemente, también me gustaría establecer uno de estos como mi preferencia de configuración regional de fecha / hora en todo el sistema.

James Haigh
fuente
3
@Radu: Unity Shell no es Gnome Shell. No, es no un duplicado de esa pregunta.
James Haigh
Desafortunadamente, gnome-shell es sinónimo de gnome , cuando en realidad solo es una parte de Gnome 3 que se reemplaza por Unity shell en Ubuntu principal.
James Haigh
@edwin: ¿De qué manera? Ni siquiera tengo esas 2 llaves en mi dconf. Tal vez debería probarlo usted mismo, y si tiene éxito, publique una respuesta aquí. Hasta entonces, esta pregunta no es un duplicado de esa. Como mencioné en la pregunta, sé que es posible en Unity, lo he hecho antes, usando esas 2 teclas, pero este es el shell Gnome. ¿Podemos seguir adelante ahora?
James Haigh
1
He estado buscando aquí , aquí y aquí . Dicho hasta ahora (al menos según el último 'aquí') parece que la API se ha modificado, por lo que el formato está dentro del código C / C ++. Quiero decir que no puedo encontrar nada en la API de JavaScript sobre la WallClockclase (que podría usar para cambiar el archivo /usr/share/gnome-shell/js/ui/dateMenu.js).
edwin

Respuestas:

20

Abra una terminal y configure

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

YMMW: esto funcionó para mí en Fedora 19.

Martín
fuente
1
... y Fedora22!
Dirk
44
La pregunta es cómo cambiar el formato de la fecha que se muestra (por el reloj y en otros lugares), no cómo mostrar la fecha al lado del reloj.
Harry Cutts
Genial, pero desafortunadamente no es gráfico.
MUY Bélgica
También funciona en Ubuntu 18.04
xarlymg89
9

Además de lo que dice Martin, lo siguiente funcionó para mí en Ubuntu 14.04, donde dconf-editor no lo hizo:

gsettings set org.gnome.desktop.interface clock-show-date true
gsettings set org.gnome.desktop.interface clock-show-seconds true
seddy
fuente
1
Al igual que con la respuesta de Martin, la pregunta es cómo cambiar el formato de la fecha mostrada (por el reloj y en otros lugares), no cómo mostrar la fecha al lado del reloj.
Harry Cutts
Punto justo, además, probablemente debería haber dejado esto como un comentario sobre la respuesta de Martin
seddy
3

Puedes probar una de estas tres extensiones:

  • Reloj completo

    ingrese la descripción de la imagen aquí Reemplaza el reloj predeterminado por uno completo que muestra la hora, la fecha y el día de la semana

  • Reloj completo 2

    ingrese la descripción de la imagen aquí Reemplaza el reloj predeterminado con uno que muestra la fecha, semana, día de la semana y hora.

  • Formato de reloj (desarrollo descontinuado, pero aparentemente funciona bien en 3.16)

    ingrese la descripción de la imagen aquí Cambiar el formato del reloj del panel superior.

    Dice que el desarrollo se ha descontinuado, pero lo probé, editando manualmente metadata.jsonpara incluir 3.18, y funciona:

    ingrese la descripción de la imagen aquí

muru
fuente
No puedo instalar ninguno de ellos porque no parecen admitir 3.18 y ni siquiera parece descargarlos.
@ParanoidPanda Format Clock está en Github (vea README para obtener instrucciones), y puede probar bernaerts.dyndns.org/linux/76-gnome/… para los demás.
muru
2
¿Y no hay forma de cambiar ninguna configuración dconf-editor o hacer algo en lugar de instalar algo?
@ParanoidPanda nope. Las únicas configuraciones que puedo encontrar son solo para mostrar la fecha allí.
muru
2

Respuesta parcial:

Aunque no parece que el reloj del panel sea fácil de formatear, el menú del calendario abierto al hacer clic en él es muy fácil. Aquí hay un truco rápido:

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

( vimo cualquier otro editor de texto).

Busque ' B %d, %Y' y reemplace con ' F'. Salvar. Presione Alt+ F2, r, Enter, para reiniciar la cáscara.

La búsqueda en el directorio principal revela algunos otros con los que vale la pena experimentar:

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

pero desafortunadamente, la búsqueda del nombre abreviado del mes en el reloj del panel no devuelve nada aquí:

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

Cualquier cambio en este archivo probablemente se sobrescribirá con las actualizaciones de Gnome, y es posible que desee conservar los originales de los archivos que edite ( sudo mv [name].js [name].js.orig).

James Haigh
fuente
Vale la pena hacerlo calendar.jstambién; Hay 2 líneas relevantes en la _showOtherDayfunción.
James Haigh
1

En Ubuntu 19.10:

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

etc.

O correr

dconf-editor

y ve a org.gnome.desktop.interface. Encontrará clock-show-weekday, clock-show-seconds, clock-show-datey otros.

GS
fuente