Saya tahu cara membuka situs web https://extensions.gnome.org/ dan mengunduh ekstensi gnome-shell, tetapi sekarang saya harus menginstal beberapa ekstensi yang tersedia di sana di komputer tanpa akses internet sama sekali. Itu ada di jaringan internal perusahaan dan tidak mungkin saya bisa mendapatkan akses internet di luarnya, jadi saya harus mencari cara lain. Saya dapat menyalin file di disk usb.
Di komputer rumah saya, saya telah menemukan ekstensi saya di ~ / .local / share / gnome-shell / extensions / tetapi hanya menyalin folder ini ke komputer perusahaan target tidak melakukan trik.
Menjalankan gnome-tweak-tool memberi saya tombol "Install Shell Extension" tapi saya tidak tahu cara mengunduh ekstensi dalam format yang dapat diterima untuk menginstal menggunakan tombol ini. Saya telah mencoba menunjuk ke folder di atas tetapi tidak berhasil juga.
Apa yang harus saya lakukan?