Pourquoi ai-je deux stations sur le bureau Ubuntu 17.10?

8

Que se passe-t-il ici? J'ai installé Dash to Dock sur Ubuntu 17.10. Tout était cool, et comme j'essayais de peaufiner l'aspect de mon bureau, à un moment donné, la barre de raccourcis (dock?) À gauche est dupliquée. La valeur par défaut, qui disparaît normalement avec Dash to Dock, se trouve sous celle qui apparaît généralement lorsque j'installe Dash to Dock. Pourquoi?

J'ai essayé de passer en revue les options de Dash to Dock, de l'outil GNOME Tweak Tool et des paramètres habituels d'Ubuntu, mais je ne peux pas le comprendre.


(Cliquez sur l'image pour l'agrandir)

    
posée Andrew Isom 11.11.2017 - 13:37
la source

5 réponses

6

Exécuter Dash to Dock avec le Dock Ubuntu par défaut n’est pas une bonne idée. Comme Ubuntu Dock est un fork de Dash to Dock (et qu'ils partagent donc de nombreux schémas), ce type de problème n'est pas vraiment surprenant.

Désactiver l’une des deux extensions (Ubuntu Dock et Dash to Dock) en utilisant Tweaks.

    
réponse donnée pomsky 11.11.2017 - 13:42
la source
3

J'ai joué avec des problèmes similaires: la barre de favoris de Gnome apparaissait dans la vue des activités et le dock était affiché sur lockscreen; Comme le dit pomsky, tous ces problèmes sont associés à la combinaison de Ubuntu Dock et de Dash to Dock.

J'ai trouvé cette solution de contournement pour personnaliser le dock avec presque toutes les options offertes par Dash to Dock:

  1. Installez Dash to Dock.
  2. Faites toute votre personnalisation.
  3. Supprimez Dash to Dock (de lien ).
  4. Déconnexion et connexion.

Bien que Dash to Dock ait été supprimé, la personnalisation (position, taille, comportement, apparence) persiste sur Ubuntu Dock et les problèmes (chevauchement des docks, affichage du Dock sur l'écran verrouillé et émissions de favoris sur les activités) ne sont plus présents. / p>

Remarques: avec cette méthode, la seule chose que vous avez perdue de Dash to Dock est le menu "Dash to Dock settings" depuis l’icône de l’application, et bien sûr l’entrée Dash to Dock dans Gnome Tweak Tool. Je n'ai pas encore essayé, mais je pense que si vous faites un changement depuis l'entrée Dock dans les paramètres Ubuntu, il est possible qu'une personnalisation réalisée avec les paramètres Dash to Dock soit perdue.

    
réponse donnée leoperbo 15.11.2017 - 17:33
la source
2

Ce qui suit fonctionne pour moi:

  1. Installer et configurer l'extension "dash to dock"
  2. Modifiez le fichier suivant:

    sudo vi /usr/share/gnome-shell/extensions/[email protected]/extension.js
    
  3. Dans le bloc de code suivant, remplacez let to_enable = true; par let to_enable = false :

    function conditionallyenabledock() {
        let to_enable = false;
        runningExtensions = ExtensionSystem.extensionOrder;
        for (let i = 0; i < runningExtensions.length; i++) {
            if (runningExtensions[i] === "[email protected]") {
                to_enable = false;
            }
        }
    
        // enable or disable dock depending on dock status and to_enable state
        if (to_enable && !dockManager) {
            dockManager = new Docking.DockManager();
        } else if (!to_enable && dockManager) {
            dockManager.destroy();
            dockManager = null;
        }
    }
    
  4. Redémarrez votre session ou faites Alt + F2 et tapez restart

C'est ça.

    
réponse donnée David Astillero Pérez 13.03.2018 - 13:13
la source
1

J'ai fait les étapes suivantes:

  • Ouvrir les paramètres Dash to Dock
  • Vous êtes arrivé à l'onglet "Poistion and size"
  • Cochez l'option "Afficher sur tous les moniteurs"

Cela a résolu le problème pour moi. J'espère que cela fonctionne pour vous aussi. Assurez-vous également que le dock Ubuntu est désactivé.

    
réponse donnée chai_and_kaapi 24.11.2017 - 06:40
la source
0

J'étais confronté au même problème, alors j'ai trouvé ceci nxadm cluadio . Ça a vraiment fait l'affaire.

  1. Supprimez l’extension Dash to Dock au cas où vous l’auriez installé.
  2. Utilisez dconf comme expliqué dans le lien. Le texte de cette étape a été copié à partir du même lien.

    Pour empêcher Ubuntu Dock de prendre tout l’espace vertical (c’est-à-dire que la majeure partie n’est qu’une barre vide):

    dconf write /org/gnome/shell/extensions/dash-to-dock/extend-height false
    

    Astuce sur le Dock: lors du survol d’une icône sur le Dock, parcourez les fenêtres de l’application tout en faisant défiler (ou en utilisant deux doigts). Bien plus rapide que cliquer + sélectionner:

    dconf write /org/gnome/shell/extensions/dash-to-dock/scroll-action "'cycle-windows'"
    

    Je mets le dock à masquer automatiquement dans l'application "Paramètres" standard. Une extension est nécessaire pour faire la même chose pour la barre supérieure (vous devez vous déconnecter et l'activer via l'application "Tweaks"):

    sudo apt install gnome-shell-extension-autohidetopbar
    

    Juste pour être sûr (par exemple si vous avez cassé quelque chose), vous pouvez réinitialiser tous les paramètres GNOME avec:

    dconf reset -f /
    

Facultatif: Vous pouvez installer dconf-editor et explorer d'autres paramètres.

    
réponse donnée dilguis 21.11.2017 - 02:50
la source

Lire d'autres questions sur les étiquettes