Tôi đã có một vấn đề nhỏ với phần mở rộng vỏ gnome. Sau khi cài đặt một số trong số họ, tôi hiểu rằng tôi không thích chúng và quyết định loại bỏ chúng. Các phần mở rộng (thư mục của chúng trong /home/username/.local/share/gnome-shell/extensions
) đã bị xóa thành công. Tuy nhiên, các tiện ích mở rộng đã xóa không bị xóa khỏi danh sách các tiện ích mở rộng đã cài đặt tại extend.gnome.org . Họ cũng không bị xóa khỏi danh sách trong công cụ gnome-chỉnh-công cụ.
Vì vậy, bây giờ trong danh sách của tôi, tôi có một loạt các tiện ích mở rộng mà tôi đã xóa. Điều buồn cười là tôi cũng không thể cài đặt lại chúng, vì cả công cụ chỉnh sửa và trang web đều nghĩ rằng chúng vẫn còn ở đó. Tất nhiên đây không phải là vấn đề lớn, nhưng tôi thấy nó hơi phiền phức.
Cài đặt lại gnome-chỉnh-công cụ không giúp được.
Có cách nào để cập nhật trạng thái của các tiện ích mở rộng đã cài đặt không?