방금 Ubuntu 16.04와 Gnome shell 3.18.5를 설치했습니다. 나는 전체 'Gnome Shell 확장 프로그램'을 처음 사용합니다 (브라우저를 사용하여 사용자가 만든 확장 프로그램을 설치합니까?) ..
그래서, 액세스 처음 https://extensions.gnome.org은 내가 확장 설치할 수 있습니다 내 생각을 하지만 (I가 탐색 할 때, 예를 들어 지금은 나에게 메시지를 표시 https://extensions.gnome.org/local/ ) : "연결이 끊어진 포트에서 메시지를 게시하려고합니다":
더 이상 해당 웹 사이트에서 아무것도 할 수없는 것 같습니다. 웹 사이트에서 확장 프로그램을 볼 때 설치 버튼이나 아무것도 찾을 수 없습니다 (그러나 작동 방식이 확실하지 않습니다).
확장명 "Hide Top Bar"를 설치하려고 시도하고 Gnome Tweak Tool도 설치했습니다.
명령 줄을 사용하여 해당 도구를 어떻게 설치합니까?
$ sudo apt-get install gnome-shell-extensions-hide-top-bar
작동하지 않는 것 같습니다 (E : 패키지 gnome-shell-extensions-hide-top-bar를 찾을 수 없습니다)