Petr Kovar
pknbe@volny.cz 2013

This work is licensed under a Creative Commons Attribution-ShareAlike 3.0 Unported License.

Ekstensi Shell GNOME memungkinkan penyesuaian antarmuka Shell GNOME baku.
Andika Triwidada
andika@gmail.com 2020-2024

# 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

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

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