리눅스 실제 사용 팁
gnome-shell-extension-manager
Yo soy
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 를 실행한 결과이다.