gnome-shell-extension-manager

2023. 7. 3. 00:47리눅스 실제 사용 팁

현재 사용 중인 데비안 배포 버전 :

~$ cat /etc/os-release 
PRETTY_NAME="Debian GNU/Linux 12 (bookworm)"
NAME="Debian GNU/Linux"
VERSION_ID="12"
VERSION="12 (bookworm)"
VERSION_CODENAME=bookworm
ID=debian
HOME_URL="https://www.debian.org/"
SUPPORT_URL="https://www.debian.org/support"
BUG_REPORT_URL="https://bugs.debian.org/"

그놈 데스크탑 : 43.4

 

gnome-tweaks 실행 시 [모양새] 에서 쉘(사용자 테마)를 선택할 수 없는 경우가 있다.

 

다음은 gnome-shell-extension-manager 패키지의 실행명령인 extension-manager 를 실행한 결과이다.

Use Extensions 를 켜면(On) 된다.

다음은 gnome-shell-extension-manager 패키지의 실행명령인 extension-manager 를 실행한 결과이다.