Menginstal perluasan GNOME Shell menggunakan apt atau apt-get? Apa itu mungkin?
Saya telah menginstal gnome-tweaksdan gnome-shell-extensionsmenggunakan:
$ sudo apt install gnome-tweaks $ sudo apt install gnome-shell-extensions
Sekarang, saya tertarik untuk memasang beberapa ekstensi. Saya ingin menginstal ekstensi menggunakan aptatau apt-getatau snap, tetapi tidak dengan menggunakan browser web.
Misalnya, saya dapat menginstal ekstensi " netspeed " menggunakan browser, tetapi saya tidak dapat menemukan paket ini di repositori main / universe / multiverse. Jadi bagaimana saya bisa menginstal ini (netspeed) atau ekstensi lain menggunakan baris perintah dan repo mana yang harus saya cari?
Sunting: Pertanyaan ini bukan tentang dapat menginstal / mengelola atau menghapus Ekstensi Shell GNOME. Ini secara khusus tentang melakukan ini dari terminal, menggunakan aptatau manajer paket serupa.
Sunting: Pusat Perangkat Lunak masih tidak menunjukkan hasil:
Jawaban
Beberapa ekstensi memang dikemas dalam repositori perangkat lunak Ubuntu standar. Ini dapat diinstal menggunakan apt get, Manajer Paket Synaptic dan bahkan menggunakan Perangkat Lunak Snap. Namun, pemilihan ekstensi yang dikemas dalam repositori perangkat lunak Ubuntu relatif kecil .
Nama-nama paket biasanya dimulai dengan gnome-shell-extension, sehingga Anda dapat mengetahui standar apa yang tersedia dengan perintah tersebut
apt search gnome-shell-extension
atau menjelajahinya di manajer paket Synaptic setelah mencari istilah tersebut. Jika ekstensi yang Anda cari tidak tersedia di repositori Perangkat Lunak Ubuntu, Anda tidak memiliki pilihan selain menginstalnya dengan cara yang berbeda , baik melalui situs web atau dengan instalasi manual.
Ekstensi luas sistem versus ekstensi yang dipasang secara lokal
Ekstensi yang dipasang menggunakan aptdipasang untuk semua pengguna. Mereka tidak diaktifkan secara default. Setiap pengguna dapat mengaktifkan atau menonaktifkan ekstensi satu per satu. Ubuntu 20.04 hadir dengan utilitas khusus "Extensions" yang memungkinkan untuk mengaktifkan atau menonaktifkan ekstensi Gnome Shell. Pengguna versi Ubuntu yang lebih lama dapat menginstal "Tweaks" untuk mengaktifkan / menonaktifkan ekstensi.
Ekstensi yang dipasang menggunakan situs web Ekstensi Gnome dipasang hanya untuk pengguna. Hanya pengguna saat ini yang "melihatnya" dan dapat mengaktifkan / menonaktifkannya.
Sebagai aturan umum, lebih disukai untuk menginstal ekstensi shell gnome menggunakan PPA Ubuntu. Ekstensi ini telah dikemas oleh pengembang Ubuntu, dan telah diuji untuk bekerja dengan sistem Anda.
Ekstensi yang dipasang dari situs web Ekstensi Gnome mungkin dengan pembaruan di masa mendatang tidak lagi berfungsi dengan benar di sistem Anda. Perhatikan juga bahwa ini tidak secara langsung didukung dalam penginstalan default Ubuntu: Anda diharuskan menginstal beberapa perangkat lunak tambahan sebelum dapat menginstal dari situs web ekstensi Gnome Shell.
Ekstensi GNOME tersedia langsung di Perangkat Lunak Ubuntu. Anda hanya perlu mengaktifkannya melalui GNOME Tweaks.
Segera setelah Anda menginstal ekstensi pada Perangkat Lunak Ubuntu, ekstensi tersebut ditambahkan ke Ekstensi pada GNOME Tweaks tempat Anda dapat mengkonfigurasi atau menyesuaikannya.
