Hoy, después de mucho tiempo de ausencia, traigo dos trucos sobre Gnome (escritorio de GNU/Linux). Uno es acerca de la configuración del propio escritorio y otro es sobre Evolution (Agenda e ainda mais de Gnome).
Configuración equivocada Cuando uno configura mal algo sensible del escritorio dejándolo por completo inusable hay una salida: borrarlo desde consola. Si ni siquiera puede ingresar al usuario, puede hacerse desde root sin problemas.
El comando es éste:
rm -rf /.gnome* /.gtk* /.config/gnome-session /.config/gtk-2.0
En éste caso es para un problema de paneles, pero el comando básicamente sirve para todo, ya que dentro de /home/usuario/.gnome se encuentran todos los archivos de configuración. Si uno no está seguro de dónde está lo que busca puede abrir la carpeta .gnome y buscar a partir de ahí.
Evolution Si uno quiere configurarle un formato de fecha y hora diferente del que trae por defecto tiene dos opciones:
1) Editar -> Preferencias -> Preferencias de correo -> Encabezamientos (Headers) -> Elegir Fecha/Tiempo formato tabla columna
%d/%m/%Y %H:%M:%S
El orden es sólo a modo de ejemplo, puede ser cualquiera.
2) Editar -> Calendario y Tareas -> Mostrar -> Formato de fecha y Hora.
Espero que les sirvan.
No hay comentarios:
Publicar un comentario