Sederhananya, Ekstensi Shell GNOME (juga Ekstensi GNOME) adalah setiap bagian kode yang meningkatkan dan menambahkan fungsionalitas desktop GNOME. Anggap saja sebagai Google Chrome ekstensi atau Firefox add-on hanya untuk Lingkungan Desktop Anda
Ekstensi GNOME dapat digunakan untuk men-tweak hampir setiap aspek Lingkungan Desktop GNOMEmis. menyesuaikan perilaku mouse; dan juga untuk menampilkan informasi seperti cuaca, status baterai, dll.
Ada jumlah Ekstensi GNOME yang hampir tidak terbatas dan cara paling nyaman untuk mengelolanya adalah melalui yang populer Alat Tweak GNOME sehingga Anda perlu mengaturnya jika Anda belum menginstalnya di sistem Anda dan Anda dapat menginstalnya melalui Perangkat Lunak Center atau terminal Anda menggunakan:
$ sudo apt install gnome-tweak-tool
Ada 3 cara untuk menggunakan Ekstensi GNOME:
- Instal bundel ekstensi minimal gratis yang dikuratori untuk distro Anda.
- Instalasi di browser web Anda.
- Instalasi manual.
1. Instalasi Bundel Minimal Gratis
Ini mengacu pada kumpulan minimal ekstensi yang biasanya dipaketkan oleh beberapa distro Linux untuk penggunanya dan terakhir kali saya periksa berisi 10 ekstensi. Instal melalui CLI menggunakan perintah berikut:
$ sudo apt install gnome-shell-extensions
Setelah instalasi selesai, reboot mesin Anda, luncurkan Alat Tweak GNOME , navigasikan ke Ekstensi dan klik untuk mengaktifkan ekstensi yang ingin Anda gunakan.
Aktifkan Ekstensi Gnome
Jika Anda menginginkan lebih banyak ekstensi daripada yang ada di bundel minimal, baca terus.
2. Instalasi di Browser Web Anda
Proyek Proyek GNOME memiliki situs web yang didedikasikan untuk ekstensi Gnome-nya dan Anda dapat menginstal dan mengelola ekstensi pilihan langsung dari browser Anda tanpa perlu untuk menggunakan Alat Tweak GNOME.
Ekstensi Gnome Shell
Namun, Anda harus memiliki add-on khusus browser dan konektor host asli yang terpasang di sistem Anda. Ikuti salah satu tautan ini untuk mendapatkan ekstensi peramban untuk Google Chrome, Firefox, dan/atau Opera.
Selanjutnya, pasang konektor asli menggunakan perintah berikut:
$ sudo apt install chrome-gnome-shell
Anda sekarang dapat membuka Situs Web Ekstensi GNOME tempat Anda dapat mencari, menginstal, dan mengaktifkan ekstensi pilihan Anda.
Anda juga dapat mengonfigurasi masing-masing ekstensi dengan mengeklik ikon roda gigi di samping judulnya di situs web atau melalui Alat Tweak GNOME.
3. Instalasi Manual
Asumsikan bahwa Anda sedang offline dan Anda perlu menyiapkan Ekstensi GNOME, bagaimana Anda melakukannya? Instalasi manual. Buka situs web untuk mengunduh file ekstensi yang akan Anda ekstrak dan pindahkan ke direktori ~/.local/share/gnome-Shell/extensions .
Berikutnya, buka metadata.json file di dalamnya dan periksa nilai uuid dan pastikan nilainya sama dengan nama folder ekstensi. Jika tidak, ganti nama folder dengan nilai uuid.
Selanjutnya, mulai ulang Shell GNOME dengan menekan Alt+F2 dan memasukkan r .
Restart Alat Tweak GNOME jika sudah berjalan dan Anda akan melihat ekstensi yang baru dipasang di bagian ekstensi tempat Anda dapat mengelolanya seperti yang Anda lakukan dalam metode yang terdaftar sebelumnya.
Mencopot pemasangan apa pun Ekstensi GNOME semudah menghapusnya dari situs web GNOME ekstensi terpasang bagian. Dan jika Anda menginstal ekstensi secara manual, hapus file dari ~/.local/share/gnome-Shell/extensions direktori.
Apakah Anda terbiasa dengan metode untuk menginstal Ekstensi Shell GNOME? Beri tahu kami mana favorit Anda di bagian komentar di bawah.