Apa itu Ekstensi Shell GNOME?
Ekstensi GNOME Shell, seperti namanya, memperluas fungsionalitas desktop GNOME Shell. Mereka bekerja agak mirip dengan add-on Chrome dan Firefox. Ekstensi shell mampu melakukan hal-hal sepele seperti menyembunyikan ikon di baki sistem serta menyediakan aplikasi lengkap berdasarkan GNOME asli atau API pihak ketiga. Ekstensi ini telah dikembangkan oleh pengembang resmi GNOME, pengelola distribusi, dan sejumlah pengembang pihak ketiga.
Memasang Pengaya Integrasi Peramban
Untuk memasang ekstensi GNOME Shell di sistem Anda, pertama-tama Anda harus mengaktifkan addon browser konektor asli yang direkomendasikan oleh pengembang GNOME. Tanpa addon ini, Anda tidak akan dapat mengunduh dan menginstal ekstensi dari repositori ekstensi resmi yang tersedia secara online.
Add-on integrasi resmi untuk browser Chrome dapat diinstal di Ubuntu menggunakan perintah di bawah ini:
$sudotepatInstallchrome-gnome-shell
Anda juga dapat menginstal pengaya ini dari Toko web Chrome jika tidak tersedia di repositori distribusi Anda.
Add-on integrasi GNOME Shell untuk Firefox dapat diinstal dari di sini .
Setelah Anda berhasil menginstal add-on, Anda akan melihat ikon paw GNOME baru di browser Anda saat Anda meluncurkannya di lain waktu.
Memasang Ekstensi dari Toko Ekstensi Online
Sekarang integrasi browser telah selesai, Anda siap untuk menginstal beberapa ekstensi. Buka repositori ekstensi shell GNOME yang tersedia di sini untuk menelusuri daftar ekstensi yang tersedia. Secara default, ekstensi untuk semua versi GNOME Shell ditampilkan. Anda dapat mengklik menu tarik-turun Semua versi untuk mempersempit hasil ke versi shell tertentu.
Untuk memeriksa versi shell GNOME di sistem Anda, jalankan perintah di bawah ini:
$gnome-shell--Versi: kapanUntuk memasang ekstensi, pertama-tama klik namanya untuk membuka halaman daftar terperincinya.
Pada halaman detail ekstensi, klik tombol sakelar hidup / mati untuk memulai pemasangan.
Klik tombol Instal saat diminta.
Itu saja, ekstensi yang dipilih sekarang berhasil dipasang di sistem Anda. Beberapa ekstensi mengharuskan Anda untuk keluar dari sesi desktop aktif agar berfungsi. Dimungkinkan untuk memuat ulang GNOME Shell secara paksa dengan menekan tombol, memasukkan huruf r di kotak input yang terlihat dan menekan tombol. Namun metode ini dapat menyebabkan perilaku yang tidak terduga, macet, dan macet di sistem Anda. Jadi solusi ideal adalah menutup semua aplikasi Anda yang sedang berjalan, logout, dan login ulang.
Memperbarui, Mengonfigurasi, dan Menghapus Ekstensi dari Toko Ekstensi Online
Anda dapat dengan mudah mengelola ekstensi shell yang diinstal pada sistem Anda dari toko online itu sendiri. Buka tautan Ekstensi terpasang di bilah atas untuk melihat daftar semua ekstensi yang terpasang di sistem Anda. Dari sana, Anda dapat memperbarui (ikon panah ke atas), mengonfigurasi (ikon kunci inggris) dan menghapus ekstensi (ikon silang).
Menyinkronkan Ekstensi dengan Akun Google Anda
Anda dapat menyinkronkan ekstensi shell yang terpasang dengan akun Google Anda (khusus Chrome). Klik kanan pada ikon ekstensi konektor asli di bilah atas Chrome untuk mengakses opsinya.
Aktifkan opsi Sinkronisasi daftar ekstensi Shell GNOME dengan mencentang kotak radio di depannya.
Mengelola Ekstensi Menggunakan Aplikasi Gnome Tweaks
Untuk mengonfigurasi, mengaktifkan, dan menonaktifkan ekstensi gnome shell di desktop Anda, Anda dapat menginstal aplikasi tweak gnome dengan menjalankan perintah di bawah ini:
$sudotepatInstallgnome-tweakSetelah menginstal aplikasi, luncurkan aplikasi Tweaks dari peluncur aplikasi. Klik entri Ekstensi di bilah sisi kiri. Dari sini, Anda dapat beralih dan mengonfigurasi ekstensi. Metode ini berfungsi bahkan jika Anda tidak memiliki koneksi internet aktif dan tidak mengharuskan Anda menggunakan toko web online untuk mengelola ekstensi.
Mengelola Ekstensi Menggunakan Aplikasi Tersembunyi Tidak Terlihat di Peluncur Aplikasi
Menjalankan perintah di bawah ini akan meluncurkan aplikasi tersembunyi yang didedikasikan untuk manajemen ekstensi.
$gnome-Shell-ekstensi-prefs 
Metode ini berfungsi bahkan jika Anda tidak menginstal aplikasi tweak. Ini juga tidak memerlukan koneksi internet aktif untuk bekerja.
Memasang Ekstensi Tanpa Pengaya Integrasi Toko dan Peramban Berbasis Web
Sejauh ini kita telah melihat bahwa ekstensi dapat dipasang dan dikelola menggunakan toko web online dan ekstensi dapat dikonfigurasi menggunakan aplikasi desktop offline juga. Namun, adalah mungkin untuk sepenuhnya melewati toko berbasis web online dan add-on integrasi browser.
Anda dapat menggunakan toko aplikasi Perangkat Lunak Ubuntu yang dikirimkan secara default di Ubuntu untuk menginstal ekstensi shell GNOME. Luncurkan aplikasi Perangkat Lunak Ubuntu dari peluncur aplikasi dan buka Add-ons > Shell Extensions. Yang harus Anda lakukan adalah mengeklik daftar ekstensi untuk membuka halaman detailnya dan memasangnya dari sana. Mengklik Pengaturan Ekstensi juga akan meluncurkan aplikasi manajemen ekstensi tersembunyi yang disebutkan di atas.
Kesimpulan
Menggunakan ekstensi shell GNOME adalah cara yang baik untuk memperluas desktop Anda dengan fungsionalitas tambahan. Namun, memasang terlalu banyak ekstensi dapat memperlambat desktop Anda dan selalu ada risiko ekstensi yang tidak berfungsi merusak seluruh desktop. Seperti aplikasi pihak ketiga lainnya, Anda juga harus bervariasi dalam memasang ekstensi acak apa pun, karena selalu ada perubahan aplikasi jahat yang masuk ke sistem Anda. Meskipun hampir semua ekstensi adalah open source, Anda harus menginstalnya dari sumber yang dikenal dan terpercaya saja.