Tôi đang sử dụng Debian Wheezy ổn định với Gnome 3.4 và có một số tiện ích mở rộng mặc định, trên trang 'Tiện ích mở rộng đã cài đặt' tại https://extensions.gnome.org/local/ (sử dụng plugin Gnome Shell Integration của Iceweasel), không thể bị xóa như những gì tôi đã thêm từ extend.gnome.org.
Chúng bao gồm (dù sao đối với tôi - và đây có thể không phải là danh sách đầy đủ vì tôi có thể bật một hoặc hai trong số chúng và do đó không có cách nào nhanh chóng để biết tất cả chúng):
Trạng thái thay thế Menu
Ứng dụng Menu
Tự động Di chuyển Windows
Dock
Tích hợp IM Gajim
Địa điểm Chỉ báo trạng thái
SystemMonitor
Chủ đề người dùng
Cửa sổNavigator
Chỉ báo không gian làm việc
Kiểm tra HTML của trang Tiện ích mở rộng đã cài đặt, tôi thấy không có cách nào để hack nó thông qua công cụ dành cho nhà phát triển của Firefox (ít nhất là với kiến thức HTML hạn chế của tôi và chỉ từ một cái nhìn nhanh) để bằng cách nào đó có thể gỡ cài đặt các tiện ích mở rộng đó qua trang đó.
Có đơn giản như xóa (ví dụ: thư mục đầu tiên) /usr/share/gnome-shell/extensions/alternative-status-menu@gnome-shell-extensions.gcampax.github.com, sau đó khởi động lại Gnome Shell và nó sẽ bị xóa khỏi danh sách?
Tôi muốn làm điều đó một cách chính xác, mà không giới thiệu vấn đề sau này.
gnome-shell-extensions. Nếu bạn không sử dụng gnome-classic tôi nghĩ bạn có thể xóa gói. Nếu không, bạn sẽ phải xóa các thư mục tiện ích mở rộng, như bạn đã nói, nhưng chúng sẽ được cài đặt lại mỗi khi bạn cập nhật hệ thống. Cài đặt dựa trên web không thể xóa các tiện ích mở rộng này vì nó được giới hạn ở các tiện ích được cài đặt trong của bạn~home.