Pada artikel berikutnya kita akan melihat Extension Manager. Ini adalah aplikasi tidak resmi yang akan memungkinkan pengguna untuk mencari dan menginstal ekstensi GNOME Shell dari desktop. Semuanya tanpa perlu menggunakan web browser seperti biasa. Aplikasi ini dibangun di atas GTK4 dan libadwaita dan tersedia untuk diinstal dari Flathub.
Saat ini, selain memungkinkan pengguna untuk mencari dan memasang ekstensi yang juga ditemukan di extensions.gnome.org, alat ini juga Ini akan memberi kita kemungkinan untuk mengaktifkan atau menonaktifkan ekstensi, menampilkan daftar ekstensi yang diinstal, mengakses konfigurasinya atau mencopot pemasangannya. Aplikasi ini masih cukup baru, rilis pertamanya beberapa waktu yang lalu, meskipun telah menerima pembaruan di mana penciptanya menambahkan beberapa hal yang diminta pengguna.
Seperti yang saya katakan, untuk pembaruan fitur utama pertamanya, alat ini menambahkan banyak fitur yang disarankan orang. Di antara hal-hal yang telah disertakan, kita dapat menemukan sakelar hidup/mati global (seperti alat resmi) dan pemisahan yang jelas antara ekstensi yang dipasang pengguna dan ekstensi yang dipasang sistem (disusun menurut abjad).
Fitur Umum Manajer Ekstensi
- Aplikasi ini akan memungkinkan kita cari ekstensi dari extensions.gnome.org.
- dari perangkat lunak ini kita dapat menginstal ekstensi, jika Anda perlu menggunakan browser web atau konektor.
- Pada layar program, kami dapat mengaktifkan dan menonaktifkan ekstensi, selain dapat mencopot pemasangannya.
- Dalam versi terbaru ini tangkapan layar ekstensi ditampilkan.
- Akan mengizinkan kita tambahkan terjemahan ke bahasa kita.
- Kami akan memiliki tema gelap dan dukungan untuk mengganti skema warna sistem.
- Melakukan pemeriksaan kompatibilitas versi shell.
- Program ini juga memiliki beberapa pintasan keyboard, meskipun pada saat ini tidak banyak berkontribusi.
- Ini akan memberi kita kemungkinan urutkan hasil pencarian, meskipun hanya menampilkan 10 besar . Filter untuk mengurutkan hasil pencarian berdasarkan popularitas, status saat ini, unduhan, atau nama. Ini adalah opsi yang sama yang tersedia di situs web Ekstensi GNOME utama.
- sekarang tampilkan ekstensi pengguna dan sistem secara terpisah.
- Versi baru ini menambahkan kinerja dan stabilitas yang lebih baik daripada versi sebelumnya.
- Ekstensi yang tidak didukung sekarang ditandai di hasil Cari.
- Programnya juga menunjukkan beberapa detail ekstensi yang dapat kami temukan. Selain itu, setiap ekstensi menyertakan tautan ke halaman extensions.gnome.org.
Instal Extension Manager untuk GNOME Shell di Ubuntu
Pencipta menunjukkan bahwa gunakan paket Flatpak adalah cara yang disarankan untuk menginstal Extension Manager. Jika Anda menggunakan Ubuntu 20.04 dan Anda masih belum mengaktifkan teknologi ini di sistem Anda, Anda dapat melanjutkan Petunjuk seorang rekan menulis di blog ini tentang hal itu.
Hal ini dapat instal aplikasi ini buka terminal (Ctrl+Alt+T) dan jalankan perintah berikut di dalamnya:
flatpak install flathub com.mattjakeman.ExtensionManager
Setelah instalasi, untuk mulai aplikasi, hanya perlu mencari peluncur di komputer kita, meskipun aplikasi juga dapat dimulai dengan membuka terminal (Ctrl+Alt+T) dan menjalankan perintah:
flatpak run com.mattjakeman.ExtensionManager
Extension Manager telah diterjemahkan ke dalam beberapa bahasa yang berbeda. Bawaan, program harus menghormati bahasa sistem Anda sejak awal. Namun, Anda mungkin perlu mengambil beberapa langkah ekstra agar Flatpak mengenali lokal pilihan Anda.
Perintah yang ditampilkan dari repositori GitHub proyekbisa menjadi solusi untuk masalah ini. Setelah menerapkannya, Manajer Ekstensi harus menghormati bahasa sistem kami.
Copot pemasangan
untuk hapus aplikasi ini dari tim kami, Anda hanya perlu membuka terminal (Ctrl + Alt + T) dan menjalankan perintah di dalamnya:
flatpak uninstall com.mattjakeman.ExtensionManager
Extension Manager gratis, perangkat lunak sumber terbuka, dan kode sumbernya dapat ditemukan diposting di nya Repositori GitHub.