Cómo actualizar las Extensiones de Gnome Shell cuando hayan actualizaciones disponibles

Parece algo obvio pero muchos usuarios no lo saben. Yo mismo lo descubrí por casualidad hace no mucho tiempo.

Las Extensiones de Gnome Shell son esas pequeñas cosas que hacen que nuestro amado escritorio Gnome con su amada/odiada Shell sea algo más manejable y cómodo a nuestro uso.

Sigue leyendo