สมมติว่าฉันติดตั้งส่วนขยาย gnome-shell ของฉันสำเร็จแล้ว แต่ฉันต้องการที่จะปิดการใช้งาน / ยกเลิกการใช้งานจากบรรทัดคำสั่ง สิ่งนี้สามารถทำได้ผ่านการกระทำของเมาส์ AFAIK เท่านั้น
ฉันจะทำสิ่งนั้นได้อย่างไร
สมมติว่าฉันติดตั้งส่วนขยาย gnome-shell ของฉันสำเร็จแล้ว แต่ฉันต้องการที่จะปิดการใช้งาน / ยกเลิกการใช้งานจากบรรทัดคำสั่ง สิ่งนี้สามารถทำได้ผ่านการกระทำของเมาส์ AFAIK เท่านั้น
ฉันจะทำสิ่งนั้นได้อย่างไร
คำตอบ:
มีการอธิบายไว้อย่างดีในวิกิ Gnomeโดยอ้างถึง:
คุณสามารถทำได้ด้วยปุ่ม GSettings, org.gnome.shell.enabled-extensions หรือเครื่องมือต่าง ๆ ที่จัดการกับกุญแจ GSettings นี้เช่น GNOME Tweak Tool หรือ gnome-shell-extension-tool รุ่นล่าสุด
หากคุณเรียกใช้gnome-shell-extension-tool --help
คุณจะเห็นว่าสามารถเปิดใช้งานและปิดใช้งานส่วนขยายด้วยชื่อของพวกเขาได้ ตัวอย่างเช่นคำสั่งต่อไปนี้เปิดใช้งานธีมผู้ใช้:
gnome-shell-extension-tool -e user-theme
Oh, ls ~/.local/share/gnome-shell/extensions
และคุณจะได้รับรายชื่อผู้ติดตั้งส่วนขยายในประเทศของคุณทั้งหมดโดยการทำ the-name@author
มันจะทำให้คุณรายการของแบบฟอร์ม
gnome-shell-extension-tool
ถูกแทนที่โดยผู้มีอำนาจยิ่งgnome-extensions
กว่า คำสั่งนี้จะช่วยให้มีประโยชน์กับ env ทำงานเช่นgnome-extensions list
ที่จะได้รับรายชื่อของนามสกุลที่ติดตั้งและgnome-extensions info $extension
ที่$extension
สามารถหาได้จากรายการ