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.
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.
Ketika saya mengubah sistem saya dari
—
nath
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.
