Wiem, jak przejść do strony https://extensions.gnome.org/ i pobrać rozszerzenia gnome-shell, ale teraz muszę zainstalować niektóre rozszerzenia dostępne na komputerze bez żadnego dostępu do Internetu. Znajduje się w wewnętrznej sieci korporacyjnej i nie ma możliwości uzyskania poza nią dostępu do Internetu, więc muszę znaleźć inny sposób. Mogę kopiować pliki na dysk USB.
Na moim komputerze domowym znalazłem moje rozszerzenia w ~ / .local / share / gnome-shell / extensions /, ale samo skopiowanie tego folderu na docelowy komputer korporacyjny nie załatwiło sprawy.
Uruchomienie gnome-tweak-tool daje mi przycisk „Zainstaluj rozszerzenie powłoki”, ale nie wiem, jak pobrać rozszerzenie w formacie dopuszczalnym do zainstalowania za pomocą tego przycisku. Próbowałem wskazać powyższy folder, ale też nie działał.
Co muszę zrobić?