Aktifkan penginstalan ekstensi Gnome di Ubuntu 18.04 LTS

Meskipun orang-orang di Canonical telah membuat keputusan untuk itu tinggalkan Unity untuk beralih ke Gnome Shell sejak versi sebelumnya Ubuntu 17.10 Artful Aardvark dan waktu berlalu mereka belum melakukan banyak hal dengan baik Nah, sebuah poin penting telah dilupakan dan hal itu benar-benar mengejutkan saya.

Fakta melakukan migrasi dari satu lingkungan ke lingkungan lain dan merilisnya ke publik memerlukan serangkaian pengujian dan rilis beta untuk mengetahui semua masalah yang dihasilkan dalam penggunaan umum sebelum meluncurkan versi stabil.

Pir bahwa Anda lupa melakukan integrasi fungsi penting benar-benar meninggalkan banyak hal yang diinginkan.

Dengan hanya beberapa hari setelah peluncuran resmi Ubuntu 18.04 selama periode ini Anda telah melakukan instalasi dan konfigurasi untuk menyesuaikan sistem Anda, Anda mungkin telah menyadarinya jika kamu harus mencoba menginstal beberapa ekstensi Gnome tidak dapat dilakukan dengan mudah.

Dan ini terjadi karena sistem tidak dikirimkan dengan fungsi "menghubungkan" khusus antara ekstensi dan lingkungan desktop.

Itulah sebabnya Kita harus bekerja keras untuk dapat menginstal ekstensi Gnome di sistem kami.

Bagaimana cara menginstal ekstensi Gnome Shell di Ubuntu 18.04 LTS?

Jika Anda ingin menikmati keuntungan menggunakan ekstensi Gnome Shell di sistem Anda, kita harus menginstal paket tambahan yang akan berfungsi sebagai jembatan antara situs web ekstensi Gnome dan sistem kami.

Untuk ini Kita harus membuka terminal dan menjalankan perintah berikut:

sudo apt-get install chrome-gnome-shell

Selesai penginstalan Tambahan ini akan bekerja di Google Chrome, Firefox atau Opera, serta peramban yang didasarkan pada hal-hal di atas atau yang mendukung sistem pengaya dari mereka.

Sekarang langkah selanjutnya adalah pergi ke situs web resmi ekstensi Gnome dan Kita dapat melihat bagian yang memberi tahu kita bahwa kita membutuhkan pelengkap untuk dapat menginstal ekstensi langsung dari browser kami.

Atau jika Anda lebih suka:

• Untuk Google Chrome, Chromium, dan Vivaldi, instal plugin melalui Toko Web Chrome.
• Di Firefox, instal add-on dari situsnya Mozilla Addons.
• Untuk Opera, instal dari situs Opera Addons.

Dengan mengklik tombol untuk menginstal add-on, itu akan ditambahkan ke browser kami, Anda mungkin diminta untuk me-restart browser Anda, tutup saja dan buka kembali.

Setelah ini selesai, kami kembali ke halaman resmi ekstensi Gnome, kami akan dapat melihat bahwa pesan telah menghilang dan tombol muncul untuk menginstal atau menghapus ekstensi Gnome Shell dari browser.

Bagaimana cara mengelola ekstensi Gnome Shell di Ubuntu 18.04?

Untuk mengontrol ini dari sistem kami kami memiliki alat yang lebih dari satu orang sudah tahu, itulah yang saya bicarakan Gnome Tweak Tool yang memiliki halaman untuk mengelola ekstensi Gnome Shell yang diinstal.

Untuk menginstalnya mereka hanya harus mencarinya sebagai 'Gnome Tweaks'di aplikasi perangkat lunak Ubuntu dan instal.

Lalu mereka seharusnya hanya menjalankan alat tersebut mengutak-atik dan mengelola ekstensi Gnome Shell yang diinstal di tab "Ekstensi".

Menginstal Paket Ekstensi Gnome dari Repositori Ubuntu

Ubuntu, serta beberapa distribusi Linux lain yang memiliki versi atau menggunakan Gnome Shell sebagai lingkungan desktop mereka biasanya menyediakan paket dengan set minimal ekstensi Gnome, terlepas dari versi lingkungan yang mereka gunakan, paket ini sepenuhnya kompatibel dengannya.

Pada dasarnya antara 8 hingga 10 ekstensi akan dipasang di sistem, untuk ini Kami hanya perlu membuka terminal dan menjalankan perintah berikut:

sudo apt install gnome-shell-extensions

Setelah ini selesai, kita dapat pergi ke situs web resmi ekstensi atau dari Alat Gnome Tweak dan kita dapat melihat ekstensi baru yang terpasang siap untuk diaktifkan di sistem Anda.