답변:
그놈 위키 에 잘 설명되어 있습니다 .
GSettings 키, org.gnome.shell.enabled-extensions 또는 GNOME Tweak Tool 또는 최신 버전의 gnome-shell-extension-tool과 같이이 GSettings 키를 조작하는 여러 도구를 사용하여이 작업을 수행 할 수 있습니다.
를 호출 gnome-shell-extension-tool --help
하면 확장명이 이름으로 확장명을 활성화 및 비활성화 할 수 있음을 알 수 있습니다. 예를 들어 다음 명령은 사용자 테마를 활성화합니다.
gnome-shell-extension-tool -e user-theme
아, 그리고을 수행하여 로컬에 설치된 모든 확장명을 얻을 수 있습니다 ls ~/.local/share/gnome-shell/extensions
. 양식의 항목을 제공합니다 the-name@author
.
gnome-shell-extension-tool
에서 더 강력한 것으로 대체되었습니다 gnome-extensions
. :이 실행 ENV 예에 대한 유용한 쿼리를 할 수 있습니다 gnome-extensions list
설치된 확장 및 목록을 얻기 위해 gnome-extensions info $extension
, $extension
목록에서 얻을 수 있습니다