Apa itu ekstensi Shell GNOME?

Ekstensi Shell GNOME memungkinkan penyesuaian antarmuka Shell GNOME baku dan bagiannya, seperti pengelolaan jendela dan peluncuran aplikasi.

Setiap ekstensi Shell GNOME diidentifikasi dengan pengenal unik, uuid. uuid juga digunakan untuk nama direktori di mana ekstensi dipasang. Anda dapat memasang ekstensi per-pengguna di ~/.local/share/gnome-shell/extensions/<uuid>, atau seluruh mesin di /usr/share/gnome-shell/extensions/<uuid>.

Untuk melihat ekstensi yang terpasang, Anda dapat menggunakan Looking Glass, debugger terintegrasi GNOME Shell dan alat pemeriksa.

Melihat ekstensi yang terpasang

  1. Tekan Alt+F2, ketik lg dan tekan Enter untuk membuka Looking Glass.

  2. Di bilah atas Looking Glass, klik Ekstensi untuk membuka daftar ekstensi yang terpasang.