Ich kann auf die Website https://extensions.gnome.org/ gehen und Gnome-Shell-Erweiterungen herunterladen. Jetzt muss ich jedoch einige dort verfügbare Erweiterungen auf einem Computer installieren, der überhaupt keinen Internetzugang hat. Es befindet sich in einem internen Unternehmensnetzwerk und es gibt keine Möglichkeit, einen externen Internetzugang zu erhalten. Ich muss also einen anderen Weg finden. Ich kann Dateien auf eine USB-Festplatte kopieren.
Auf meinem Heimcomputer habe ich meine Erweiterungen unter ~ / .local / share / gnome-shell / extensions / gefunden, aber das Kopieren dieses Ordners auf den Zielcomputer des Unternehmens hat nicht ausgereicht.
Das Ausführen des Gnome-Tweak-Tools gibt mir die Schaltfläche "Shell-Erweiterung installieren", aber ich weiß nicht, wie ich eine Erweiterung in einem für die Installation mit dieser Schaltfläche akzeptablen Format herunterladen kann. Ich habe versucht, auf den obigen Ordner zu zeigen, aber es hat auch nicht funktioniert.
Was muss ich tun?