Tôi vừa cài đặt Ubuntu 16.04 và shell Gnome 3.18.5. Tôi mới sử dụng toàn bộ 'tiện ích mở rộng Gnome Shell' (Tôi sử dụng trình duyệt của mình để cài đặt tiện ích mở rộng do người dùng tạo?) ..
Vì vậy, lần đầu tiên tôi truy cập https://extensions.gnome.org tôi có thể cài đặt tiện ích mở rộng mà tôi nghĩ nhưng bây giờ nó hiển thị cho tôi một thông báo (ví dụ: khi tôi điều hướng đến https://extensions.gnome.org/local/ ) : "Cố gắng postMessage trên cổng bị ngắt kết nối":
Tôi dường như không thể làm bất cứ điều gì trên trang web đó nữa. Khi tôi xem tiện ích mở rộng trên trang web, tôi không thể tìm thấy bất kỳ nút cài đặt hay bất cứ thứ gì (nhưng sau đó tôi không thực sự chắc chắn nó hoạt động như thế nào).
Tôi đã cố gắng cài đặt tiện ích mở rộng "Hide Top Bar" và cũng đã cài đặt Công cụ Tweak Gnome.
Làm thế nào tôi có thể cài đặt công cụ đó với dòng lệnh?
$ sudo apt-get install gnome-shell-extensions-hide-top-bar
dường như không hoạt động (E: Không thể định vị gói gnome-shell-extend-hide-top-bar)