Categorías: Tutoriales

Reemplazar el icono del menú de Gnome

Lo que os propongo aquí es un pequeño tutorial para cambiar el icono del menú de Gnome, en mi caso he usado una flecha roja hacia abajo que he descargado desde iconfinder.com:

Para ello abrimos un terminal:

  • Hacemos una copia de seguridad del icono actual:

ahornero@6581-D:~$ mv /usr/share/icons/gnome/24×24/places/start-here.png /usr/share/icons/gnome/24×24/places/start-here.png.bak

  • Ponemos el nuestro aquí, tened en cuenta que ha de tener las mismas proporciones (24×24 píxeles):

ahornero@6581-D:~$ sudo cp ~/Downloads/nuevo_icono.png /usr/share/icons/gnome/24×24/places/start-here.png

  • Ahora refrescamos la caché:

ahornero@6581-D:~$ sudo gtk-update-icon-cache /usr/share/icons/gnome

Y ya deberá de aparecer, en caso contrario reiniciamos las X y listo.

Nota: Hay que tener en cuenta que es posible que lo que reemplazamos sea un enlace simbólico, puede ser que el destino sea compartido por otras aplicaciones, así que recomiendo únicamente reemplazar el origen para que otras partes del sistema que usen ese icono no se vean afectadas.

Alberto Hornero Luque

Contínuamente relacionado con el procesamiento de imágenes y el análisis numérico, se encuentra actualmente trabajando como Ingeniero Técnico en el laboratorio de Métodos Cuantitativos de Teledetección del CSIC. Administrador del portal Linux Hispano centra sus intereses en tecnologías abiertas, desarrollos en la nube y GNU/Linux, y hace poco fundó junto a Javier Carazo una startup, Codection. Puedes seguir sus updates en @ahornero y LinkedIn.

Ver comentarios

  • ¡Pero que intuitivo que es Gnome para hacer estos cambios!
    ¿Y si no tengo permisos de escritura en /usr/share?

  • @ushcompu, ha sonado algo sarcástico, ¿acaso prefieres que cualquier usuario del sistema pudiera cambiarlo? En un entorno comporativo esto sería un error, y en el PC de escritorio de nuestras casas, en el que a lo sumo hay tres usuarios, una falta de entendimiento.

    Igual no es lo más intuitivo, pero es realmente sencillo.

  • Claro, en otros entornos gráficos cualquier usuario puede cambiarlo, y ese cambio sólo es para ESE usuario ;)

Entradas recientes

DeepSeek

2 días hace

Contacto

2 semanas hace

Smart-tv mute

2 semanas hace

STEAM OS

3 semanas hace

2025

4 semanas hace

El podcast de Linux Hispano – #072 – El hardware libre debe consolidarse como el software libre

https://www.youtube.com/embed/z-xGk9c_eOw Guionista y locutor: Manuel Ignacio López Quintero.Fecha de publicación: 31 de diciembre de 2024.

1 mes hace