Gnome 셸 확장을 관리하려는 의도된 방식을 이해할 수 없습니다.
Dash에서 이 작업을 수행하는 데 적합한 프로그램을 찾을 수 없습니다. 실제로 확장 프로그램을 관리할 수 있는 유일한 방법은Extension.gnome.org.
이 페이지가 확장 프로그램을 관리하기 위한 도구일 리가 없습니다. 전혀 의미가 없습니다(일단, 사용자 경험을 손상시킵니다).
이러한 편리한 확장 기능을 관리하도록 설계된 기본 애플리케이션에 대한 계획이 있는지 알려주십시오.
답변1
이 페이지가 확장 프로그램 관리 도구일 리가 없습니다. 전혀 말이 되지 않습니다.
그것이 의미가 있는지 없는지는 의견의 문제입니다. 하지만 그렇습니다. 페이지가 주요 도구입니다. Owen Taylor의설명하다.
시스템에 설치된 확장을 관리하는 경우 다음을 통해 활성화/비활성화할 수 있습니다.그놈 조정 도구(또는 dconf-editor- GUI 또는 gsettings- CLI).
편집하다:
귀하의 의견에 답하십시오:
나는 사용자 경험을 일관되게 유지하는 것에 대해 이야기하고 있습니다. "exten"을 입력하면 검색창을 통해 특정 확장 제어 지점에 접근할 수 있어야 합니다.
어떤 버전의 gnome-shell을 사용하고 있나요? 이는 gnome-3.8.2기본 동작입니다. exten검색창에 입력하면 확장 프로그램의 로컬 제어 센터가 표시됩니다. gnome-tweak-tool직접 확인해 보세요.
