#https://extensions.gnome.org/

Ok hoy hablaremos de la nueva pagina de https://extensions.gnome.org/ que como su dirección lo indica es la pagina oficial de Gnome donde se están recavando la mayoría de las extensiones que hacen del shell de gnome mas fácil de personalizar.Espesemos por visitar la pagina aquiInmediatamente veremos…