Petr Kovar
pknbe@volny.cz 2013
GNOME 셸 확장자를 사용하여 GNOME 셸 인터페이스를 사용자 정의 할 수 있습니다.

# GNOME 셸 확장자는 무엇인가요?

GNOME 셸 확장자를 사용하여 창 관리나 애플리케이션 런칭같은 부분과 기본 GNOME 셸 인터페이스를 사용자 정의 할 수 있습니다.

각각의 GNOME 셸 확장자는 고유 식별자인 uuid를 가지고 있습니다. uuid는 확장자가 설치된 디렉터리의 이름에도 쓰입니다. 당신은 또한 ~/.local/share/gnome-shell/extensions/<uuid>, 혹은 /usr/share/gnome-shell/extensions/<uuid>에서의 컴퓨터 전반에서 사용자마다 확장자를 설치할 수 있습니다.

To view installed extensions, you can use Looking Glass, GNOME Shell’s integrated debugger and inspector tool.

# 설치된 확장자 보기

Alt F2를 누르고, lg를 입력하고 Looking Glass를 열기위해 Enter를 누르세요.

Looking Glass의 상단바에서 설치된 확장자 목록을 열기 위해 Extensions를 클릭하세요.