यह सूक्ति-शेल बग रिपोर्ट दोनों सुपर + कुंजी शॉर्टकट के साथ समस्या की रूपरेखा तैयार करती है, और एक हैकी वर्कअराउंड का विवरण देती है (जो मेरे लिए समस्या को पूरी तरह से ठीक करता है!)।
https://bugzilla.gnome.org/show_bug.cgi?id=659899
मूल रूप से, मुद्दा यह है कि कस्टम शॉर्टकट gnome-settings-daemon द्वारा संभाला जाता है, जो सुपर कुंजी को ठीक से नहीं उठाता है। विंडो मैनेजर (इस मामले में, म्यूटेटर) सुपर कुंजी देख सकता है। तो, ओलिवियर क्रेते ने एक एक्सटेंशन लिखा जो आपके कस्टम शॉर्टकट परिभाषाओं को पढ़ता है और उन्हें म्यूट करने के लिए पास करता है। मैंने एक्सटेंशन स्थापित किया और यह मेरे लिए बहुत अच्छा काम करता है। पिछले टिप्पणीकारों की तरह कोई भी डबल कुंजी दबाने की आवश्यकता नहीं थी।
एक्सटेंशन आधिकारिक ग्नोम एक्सटेंशन साइट में नहीं है क्योंकि इसे अस्वीकार कर दिया गया था (आप यहाँ पर उल्लसित समीक्षाओं को पढ़ सकते हैं: https://extensions.gnome.org/review/1658 ... जाहिर है समीक्षकों को पढ़ने की समझ में समस्या आ रही है! )। हालाँकि, आप बग रिपोर्ट में टिप्पणी 33 के माध्यम से एक्सटेंशन डाउनलोड कर सकते हैं।
फ़ाइल को अपने ~ / .local / share / gnome-shell / एक्सटेंशन निर्देशिका में अनज़िप करें, gnome-shell (Alt + F2, r) को पुनरारंभ करें, और Gnome Tweak Tool को आग दें और एक्सटेंशन को सक्षम करें। आपको तब जाना अच्छा होना चाहिए।
संपादित करें: एक और बात। यदि आपके पास 6 से अधिक कस्टम शॉर्टकट हैं और इस एक्सटेंशन को सक्रिय करते हैं, तो गनोम शेल फट जाएगा। 10 शॉर्टकट के लिए समर्थन में एक्सटेंशन हार्ड कोड, लेकिन केवल 6. के लिए संकलित समर्थन। शॉर्टकट की एक मनमानी संख्या के लिए समर्थन जोड़ने के लिए, स्कीमा निर्देशिका में org.gnome.shell.extensions.command-keybindings.gschema.xml फ़ाइल और संपादित करें अधिक बाध्यकारी एंट्रीज़ कॉपी / पेस्ट करें (यह स्वयं स्पष्ट होना चाहिए कि ऐसा कैसे किया जाए - बस बाइंडिंग को बढ़ाना सुनिश्चित करें- #)। फिर, स्कीमा निर्देशिका में "ग्लिब-संकलन-स्कीमा" चलाते हैं। अंत में, extension.js फ़ाइल में, "for (let i = 0; i <10; i ++)" लाइन ढूंढें और 10 को आपके द्वारा निर्धारित कुल बाइंडिंग की संख्या में बदल दें। अब आपके पास बहुत अधिक कस्टम शॉर्टकट के लिए समर्थन होना चाहिए। ओह! किसी ने नहीं कहा कि ग्नोम 3 आसान था! अरे रुको...