Saya baru saja menginstal Ubuntu 16.04 dan Gnome shell 3.18.5. Saya baru mengenal keseluruhan 'ekstensi Gnome Shell' (saya menggunakan browser saya untuk menginstal ekstensi buatan pengguna?) ..
Jadi, pertama kali saya mengakses https://extensions.gnome.org Saya pikir saya dapat menginstal ekstensi, tetapi sekarang ia memperlihatkan kepada saya pesan (misalnya ketika saya menavigasi ke https://extensions.gnome.org/local/ ) : "Coba postMessage di port yang terputus":
Sepertinya saya tidak bisa melakukan apa pun di situs web itu lagi. Ketika saya melihat ekstensi di situs web saya tidak dapat menemukan tombol instal atau apa pun (tapi kemudian saya tidak begitu yakin bagaimana cara kerjanya).
Saya mencoba menginstal ekstensi "Sembunyikan Top Bar" dan juga menginstal Gnome Tweak Tool.
Bagaimana saya menginstal alat itu dengan baris perintah?
$ sudo apt-get install gnome-shell-extensions-hide-top-bar
tampaknya tidak berfungsi (E: Tidak dapat menemukan paket gnome-shell-extensions-hide-top-bar)