मैंने हाल ही में 18.04 में अपग्रेड किया है, लेकिन अपग्रेड के दौरान कुछ समस्याएं थीं, जिसके परिणामस्वरूप डॉक का अभाव था। सेटिंग्स में डॉक टैब भी खाली है। मैं डॉक कैसे स्थापित कर सकता हूं और इसे सक्षम कर सकता हूं।
अपडेट करें:
मैंने हाल ही में 18.04 में अपग्रेड किया है, लेकिन अपग्रेड के दौरान कुछ समस्याएं थीं, जिसके परिणामस्वरूप डॉक का अभाव था। सेटिंग्स में डॉक टैब भी खाली है। मैं डॉक कैसे स्थापित कर सकता हूं और इसे सक्षम कर सकता हूं।
अपडेट करें:
जवाबों:
आप देख सकते हैं कि टर्मिनल में निम्न कमांड चलाकर उबंटू डॉक स्थापित किया गया है या नहीं
apt-cache policy gnome-shell-extension-ubuntu-dock | grep Installed
यदि आउटपुट है Installed: (none)तो यह स्थापित नहीं है और आप इसे चलाकर स्थापित कर सकते हैं
sudo apt install gnome-shell-extension-ubuntu-dock
अन्यथा एक संभावना है कि आप डिफ़ॉल्ट उबंटू सत्र में नहीं हैं। जब आप अपने सिस्टम को बूट करते हैं और जीडीएम लॉगिन स्क्रीन पर पहुंचते हैं, तो आपको साइन इन बटन के बगल में एक cogwheel (⚙️) मिलना चाहिए। यदि आप cogwheel पर क्लिक करते हैं, तो आपको एक Ubuntu (और Ubuntu on Wayland ) विकल्प खोजना चाहिए । इसे चुनें और फिर लॉग इन करें।
जैसा कि @Videonauth ने कहा है, आप "डैश टू डॉक" एक्सटेंशन का भी उपयोग कर सकते हैं (उबंटू डॉक डैश टू डॉक का एक कांटा है) एक वर्कअराउंड के रूप में। आप इसे चलाकर स्थापित कर सकते हैं
sudo apt install gnome-shell-extension-dashtodock
या यहाँ से । तब आप अपने इंस्टॉल किए गए एक्सटेंशन का उपयोग करके प्रबंधित कर सकते हैं gnome-tweaks।
gnome-shell-extension-dashtodockएक विकल्प के रूप में स्थापित कर सकता है जिसके पास इसे अनुकूलित करने के लिए अधिक विकल्प हैं। दोनों तरीकों से कभी भी उसे gnome-tweak-toolबदलने के लिए उसे स्थापित करने की आवश्यकता नहीं हो सकती है।