Daftar ini sekarang lebih atau kurang digantikan oleh https://extensions.gnome.org/ di mana ekstensi dapat satu klik dipasang dan dikonfigurasi.
Ada beberapa add-on untuk gnome-shell. Tolong bantu saya mengkompilasi daftar addon existiong
Saya telah menjawab pertanyaan saya dengan menambahkan ekstensi yang saya tahu sebagai jawaban. Karena ada banyak ekstensi, setiap jawaban tunggal masih berupa sebuah rintisan.
Berikut video beberapa ekstensi yang sedang beraksi: