जवाबों:
यह अच्छी तरह से सूक्ति में वर्णित है , उद्धृत:
आप इसे GSettings कुंजी, org.gnome.shell.enabled- Extension, या कई टूल से कर सकते हैं जो इस GSettings कुंजी को मैनिपुलेट करते हैं, जैसे GNOME Tweak टूल या हाल ही के संस्करण gnome-shell-extension-tool।
यदि आप आह्वान करते हैं gnome-shell-extension-tool --help
, तो आप देखेंगे कि यह उनके नाम से एक्सटेंशन को सक्षम और अक्षम करने में सक्षम है। उदाहरण के लिए, निम्न कमांड उपयोगकर्ता विषयों को सक्षम करता है:
gnome-shell-extension-tool -e user-theme
ओह, और आप कर के अपने सभी स्थानीय रूप से स्थापित एक्सटेंशन के नाम प्राप्त कर सकते हैं ls ~/.local/share/gnome-shell/extensions
। यह आपको फॉर्म की प्रविष्टियां देगा the-name@author
।
gnome-shell-extension-tool
अधिक शक्तिशाली द्वारा छांटा गया है gnome-extensions
। यह चल रहे एनवी के खिलाफ उपयोगी प्रश्नों की अनुमति देता है, उदाहरण के लिए: gnome-extensions list
स्थापित एक्सटेंशन की सूची प्राप्त करने के लिए और gnome-extensions info $extension
, $extension
सूची से कहां प्राप्त किया जा सकता है