Ekstensi GNOME Shell

Ankur Sinha, Tim Dokumentasi Fedora Versi F38 Last review: 2023-08-04

Dari situs web:

"Ekstensi GNOME Shell adalah potongan kode kecil yang ditulis oleh pengembang pihak ketiga untuk memodifikasi cara kerja GNOME. (Jika kamu familiar dengan Ekstensi Chrome atau Addon Firefox, maka ekstensi GNOME Shell mirip dengan itu.)

Karena ekstensi dibuat di luar proses desain dan pengembangan GNOME yang normal, dukungan untuk ekstensi disediakan oleh pembuatnya, bukan oleh komunitas GNOME. Beberapa fitur yang awalnya diimplementasikan sebagai ekstensi mungkin nantinya menjadi bagian dari versi GNOME di masa mendatang."

Jadi, silakan laporkan bug pada ekstensi ini langsung kepada pengembangnya.

Ekstensi dapat berupa lokal atau sistem. Ekstensi lokal adalah ekstensi yang diinstal oleh setiap pengguna di direktori home mereka (~/.local/share/gnome-shell/extensions), sedangkan ekstensi sistem diinstal oleh administrator di direktori sistem (/usr/share/gnome-shell/extensions/). Oleh karena itu, ekstensi sistem tidak dapat diinstal, diperbarui, atau dihapus oleh pengguna non-administrator. Namun, setiap pengguna masih dapat mengaktifkan atau menonaktifkannya.

Jika GNOME Shell mengalami crash, langkah pertama yang disarankan untuk mendiagnosis masalah adalah menonaktifkan semua ekstensi. Jika GNOME Shell crash langsung saat login, kamu dapat menggunakan lingkungan desktop lain jika tersedia, atau gunakan alat baris perintah yang tercantum di bawah ini menggunakan terminal virtual (ctrl + alt + f2) untuk menonaktifkannya.

Menginstal dan menghapus ekstensi GNOME Shell sistem

Ekstensi ini umumnya tersedia di repositori Fedora dan dapat diinstal, dihapus, serta diperbarui menggunakan alat manajemen paket bawaan seperti dnf. Kamu dapat menemukan daftarnya di dengan mencari aplikasi paket untuk gnome-shell-extension.

Jalankan dconf untuk memperbarui basis data dconf sistem agar ekstensi sistem yang baru diinstal tersedia untuk semua pengguna. # dconf update

Menginstal dan menghapus ekstensi GNOME Shell lokal

Ekstensi GNOME Shell lokal dapat diinstal dengan beberapa cara.

  • Langsung dari situs web menggunakan Firefox. Ini memerlukan pemasangan ekstensi peramban. Jika belum terpasang, situs akan menampilkan notifikasi dengan tautan untuk memasangnya.

  • Instalasi manual. Cara ini tidak direkomendasikan. Pengguna tingkat lanjut yang ingin melakukannya harus mengikuti petunjuk yang disediakan oleh pengembang.

Semua metode ini juga dapat digunakan untuk memperbarui ekstensi lokal yang telah diinstal.

Mengaktifkan, menonaktifkan, dan mengubah pengaturan ekstensi GNOME Shell

Semua ekstensi dapat diaktifkan, dinonaktifkan, dan preferensinya diubah oleh setiap pengguna menggunakan:

  • Situs ekstensi GNOME menggunakan Firefox.

  • gnome-shell-extension-tool. Alat ini memungkinkan kamu untuk mengaktifkan dan menonaktifkan ekstensi, tetapi tidak untuk mengubah pengaturannya. Alat ini juga memungkinkan kamu memuat ulang ekstensi tanpa perlu logout dan login kembali, serta membuat kerangka dasar jika kamu ingin menulis ekstensi baru. Gunakan gnome-shell-extension-tool -h untuk mempelajari lebih lanjut.

  • Aplikasi GNOME Extensions. Selain berbagai penyesuaian lainnya, aplikasi GNOME Extensions juga memungkinkan pengaktifan, penonaktifan, dan pengubahan preferensi untuk ekstensi GNOME Shell.

Want to help? Learn how to contribute to Fedora Docs ›