He cambiado a GNOME Shell y usoExtensiones de shell de GNOMEpara modificar la apariencia y la funcionalidad de mi distribución.
Sin embargo, todavía no he descubierto qué tecnología se utiliza para instalar, habilitar y deshabilitar las extensiones de la página web con solo unos pocos clics.
¿Cómo se implementa? ¿Cualquier página web puede hacer esto?
Respuesta1
Se implementa mediante un complemento del navegador. "Integración de Gnome Shell".
Intente deshabilitarlo (firefox: complementos -> complementos) y ya no funciona.
Sólo el sitio web de gnome puede usarlo.