Bagaimana ekstensi shell Gnome seharusnya dikelola?

16

Saya mengalami kesulitan memahami cara yang dimaksudkan untuk mengelola ekstensi shell Gnome.

Saya tidak dapat menemukan program yang sesuai di Dash untuk melakukan itu. Satu-satunya cara saya benar-benar dapat mengelola ekstensi adalah melalui extensions.gnome.org .

Tidak mungkin bahwa halaman ini seharusnya menjadi alat untuk mengelola ekstensi - benar-benar tidak masuk akal (itu memecah UX, misalnya).

Tolong beritahu saya bahwa ada rencana untuk aplikasi asli yang ditujukan untuk mengelola ekstensi yang berguna ini.

gnome gnome3 gnome-shell jcora
sumber
3
Apa yang "merusak" pengalaman pengguna atau tidak sangat subjektif.
Yah ya tapi saya cukup yakin bahwa pendapat itu tidak merusak UX adalah pendapat minoritas. * Diharapkan: buka aplikasi asli, pilih ekstensi, instal. Selesai * Saat ini: buka browser, instal ekstensi browser, navigasikan ke halaman web, instal ekstensi yang sebenarnya. Selesai
Jan M.
2
Ketika saya mengubah sistem saya dari Microsoft Windows XPke debian berdasarkan GNU/Linux Distributionssalah satu bagian yang paling mencerahkan user experienceadalah bahwa saya tidak perlu pergi ke halaman web, mencari aplikasi, mengunduh dan menginstalnya tetapi sebagai gantinya dapat mencari melalui daftar paket melalui apt-getdan menginstal paket. Juga saya tidak perlu terlalu berhati-hati tentang peningkatan aplikasi individual karena ini dilakukan dengan dua apt commands. Dari highly subjectivepengalaman pengguna saya, saya harus mengatakan bahwa rasanya seperti brokenketika saya harus mengelola Ekstensi dengan cara ini.
nath

Jawaban:

10

Tidak mungkin bahwa halaman ini seharusnya menjadi alat untuk mengelola ekstensi - sangat masuk akal

Apakah itu masuk akal atau tidak juga merupakan masalah pendapat. Tapi ya, halaman itu adalah alat utama, baca penjelasan Owen Taylor .
Untuk mengelola ekstensi yang sudah diinstal pada sistem Anda, Anda dapat mengaktifkan / menonaktifkannya melalui gnome-tweak-tool (atau dconf-editor- GUI, atau gsettings- CLI).

sunting:
Sebagai balasan atas komentar Anda:

Saya berbicara tentang menjaga agar UX konsisten. Ketika saya mengetik "exten" ke dalam bilah pencarian, saya harus bisa sampai ke beberapa titik kontrol ekstensi.

Versi gnome-shell apa yang Anda gunakan? Pada gnome-3.8.2itu adalah perilaku default, mengetik extendi bilah pencarian memunculkan gnome-tweak-toolyaitu "pusat kontrol lokal" untuk ekstensi, lihat sendiri:

masukkan deskripsi gambar di sini

don_crissti
sumber