Câu trả lời:
Nó được mô tả tốt trong wiki Gnome , trích dẫn:
Bạn có thể thực hiện việc này bằng khóa GSinstall, org.gnome.shell.enables-extend hoặc một số công cụ thao tác với khóa GSinstall này, chẳng hạn như Công cụ Tweak của Gnome hoặc một phiên bản gần đây của công cụ gnome-shell-extension-tool.
Nếu bạn gọi gnome-shell-extension-tool --help
, bạn sẽ thấy rằng nó có khả năng kích hoạt và vô hiệu hóa các tiện ích mở rộng theo tên của chúng. Ví dụ: lệnh sau cho phép chủ đề người dùng:
gnome-shell-extension-tool -e user-theme
Ồ, và bạn có thể lấy tên của tất cả các tiện ích mở rộng được cài đặt cục bộ của mình bằng cách thực hiện ls ~/.local/share/gnome-shell/extensions
. Nó sẽ cung cấp cho bạn các mục của mẫu the-name@author
.
gnome-shell-extension-tool
đã được thay thế bởi những kẻ mạnh hơn gnome-extensions
. Điều này cho phép các truy vấn hữu ích đối với env đang chạy, ví dụ: gnome-extensions list
để có danh sách các tiện ích mở rộng đã cài đặt và gnome-extensions info $extension
, nơi $extension
có thể lấy từ danh sách