Gnome 쉘 확장을 관리하는 의도 된 방식을 이해하는 데 어려움을 겪고 있습니다.
Dash에서 적절한 프로그램을 찾을 수 없습니다. 실제로 확장을 관리 할 수있는 유일한 방법은 extensions.gnome.org 입니다.
이 페이지가 확장 기능을 관리하는 도구가 될 수는 없습니다. 절대적으로 말이되지 않습니다 (UX를 깨뜨립니다).
이 편리한 확장을 관리하기위한 기본 응용 프로그램에 대한 계획이 있다고 알려주십시오.
답변
이 페이지를 확장 프로그램 관리 도구로 사용하는 것은 불가능합니다. 전혀 이해가되지 않습니다.
그것이 의미가 있는지 아닌지는 또한 의견의 문제입니다. 그러나 예, 그 페이지는 주요 도구 입니다. Owen Taylor의 설명을 읽으십시오 .
시스템에 이미 설치된 확장을 관리하는 경우 gnome-tweak-tool (또는 -GUIdconf-editor 또는 gsettings-CLI)을 통해 확장을 활성화 / 비활성화 할 수 있습니다 .
편집 :
귀하의 의견에 대한 답변 :
나는 UX의 일관성을 유지하는 것에 대해 이야기하고 있었다.
검색 창에 “exten”을 입력하면 확장 제어점에 도달 할 수 있습니다.
어떤 버전의 gnome-shell을 사용하고 있습니까? 에 gnome-3.8.2그 기본 동작이며, 입력 exten검색 창에가 나타납니다 gnome-tweak-tool즉, 확장을위한 “로컬 컨트롤 센터”를 직접 볼 :
