Sé cómo ir al sitio web https://extensions.gnome.org/ y descargar extensiones de gnome-shell, pero ahora necesito instalar algunas extensiones disponibles allí en una computadora sin ningún tipo de acceso a Internet. Está en una red corporativa interna y no hay forma de que pueda obtener acceso externo a Internet, así que debo encontrar otra forma. Puedo copiar archivos en un disco usb.
En la computadora de mi casa, he encontrado mis extensiones en ~ / .local / share / gnome-shell / extensions / pero simplemente copiar esta carpeta en la computadora corporativa de destino no funcionó.
Ejecutar gnome-tweak-tool me da el botón "Instalar extensión de Shell" pero no sé cómo descargar una extensión en un formato aceptable para instalar usando este botón. Intenté señalar la carpeta anterior pero tampoco funcionó.
¿Que necesito hacer?