นามสกุล Gnome ยังคงอยู่ในรายการหลังจากถูกลบออก

ฉันมีปัญหาเล็กน้อยกับส่วนขยายของ gnome shell หลังจากติดตั้งบางส่วนแล้วฉันเข้าใจว่าฉันไม่ชอบและตัดสินใจที่จะลบออก ส่วนขยายตัวเอง (โฟลเดอร์ใน/home/username/.local/share/gnome-shell/extensions) ถูกลบสำเร็จแล้ว อย่างไรก็ตามส่วนขยายที่ถูกลบถูกไม่ได้ลบออกจากรายการของติดตั้งส่วนขยายที่extensions.gnome.org พวกเขายังไม่ถูกลบออกจากรายการใน gnome-tweak-tool

ดังนั้นในรายการของฉันฉันมีส่วนขยายที่ฉันได้ลบไปแล้ว สิ่งที่ตลกคือฉันไม่สามารถติดตั้งใหม่ได้เนื่องจากทั้ง gnome-tweak-tool และเว็บไซต์คิดว่าพวกเขายังอยู่ที่นั่น นี่ไม่ใช่เรื่องใหญ่ แต่ฉันคิดว่ามันน่ารำคาญนิดหน่อย

การติดตั้ง gnome-tweak-tool ใหม่ไม่ได้ช่วยอะไร

มีวิธีใดบ้างในการอัปเดตสถานะของส่วนขยายที่ติดตั้งไว้หรือไม่

วิธีลบส่วนขยาย Gnome-shell หนึ่งตัวหรือทั้งหมดอย่างสมบูรณ์

เปิดเทอร์มินัล: (จากเมนูแอพหรือกด Ctrl + Alt + T)

จากนั้นพิมพ์: sudo su - แล้วพิมพ์รหัสผ่านของคุณแล้วกด Enter

จากนั้นพิมพ์คำสั่งนี้:

cd /home/"your user account"/.local/share/gnome-shell/extensions/

จากนั้นพิมพ์คำสั่งนี้เพื่อดูส่วนขยายที่ติดตั้งทั้งหมดของคุณ: ls

จากนั้นพิมพ์คำสั่งนี้เพื่อลบแต่ละรายการหรือส่วนขยายที่คุณต้องการลบอย่างสมบูรณ์:

rm -r name-of-extention

ตัวอย่างเช่น: rm -r dash-to-dock@yyy.gmail.com/

และกด: Alt + F2 จากนั้นพิมพ์“ r” ใช่ง่าย ๆ เพียงหนึ่ง r

ตกลงเสร็จแล้ว

คุณสามารถตรวจสอบ Extensions.gnome.org เพื่อให้แน่ใจเกี่ยวกับสิ่งนี้

ไปที่ส่วนขยายที่ติดตั้งไว้บน extensions.gnome.org แล้วคลิกสัญลักษณ์ X ในวงกลมทางด้านขวาของส่วนขยายเพื่อถอนการติดตั้ง สวิตช์เปิด / ปิดจะปิดการใช้งานเท่านั้น