it-swarm.dev

Pourquoi ai-je deux docks dans le bureau Ubuntu 17.10?

Que se passe t-il ici? J'ai installé l'extension Dash to Dock sur Ubuntu 17.10. Tout était cool, et alors que j'essayais de peaufiner l'aspect de mon bureau, la barre de raccourcis (dock?) Sur la 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?

IMG:
(Cliquez sur l'image pour l'agrandir)

J'ai essayé de passer en revue les options de Dash to Dock, l'outil GNOME Tweak et les paramètres habituels d'Ubuntu, mais je n'arrive pas à comprendre.

13
Andrew Isom

Exécuter Dash to Dock avec le dock Ubuntu par défaut n’est pas une bonne idée. Comme Ubuntu Dock est une fourchette de Dash to Dock (et qu’ils partagent donc beaucoup de schémas identiques), un problème comme celui-ci n’est pas vraiment surprenant.

Désactivez l'une des deux extensions (Ubuntu Dock et Dash to Dock) à l'aide de Tweaks ou d'une autre manière (voir this aussi).

11
pomsky

J'ai fait les étapes suivantes:

  • Ouvrir les paramètres Dash to Dock
  • Arrivé à l'onglet 'Poistion et taille'
  • Cochez l'option 'Afficher sur tous les moniteurs'

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

6
chai_and_kaapi

J'ai joué avec des problèmes similaires: la barre des favoris Gnome était visible dans la vue des activités et le dock était affiché dans l'écran de verrouillage; comme Pomsky le dit, tous ces problèmes sont associés à la combinaison d'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 https://extensions.gnome.org/local/ ).
  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 (superposition de docks, émissions de dock sur lockscreen et de favoris dans la vue des activités) ne sont plus présents.

Remarques: avec cette méthode, tout ce que vous avez perdu de Dash to Dock est le menu "Paramètres de Dash to Dock" de l'icône des applications et bien sûr, l'entrée des paramètres de Dash to Dock dans Gnome Tweak Tool. Je n'ai pas encore essayé, mais je pense que si vous modifiez l'entrée de Dock dans les paramètres Ubuntu, une personnalisation réalisée avec les paramètres Dash vers Dock sera perdue.

5
leoperbo

Ce qui suit fonctionne pour moi:

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

    Sudo vi /usr/share/gnome-Shell/extensions/[email protected]/extension.js
    
  3. Dans le bloc de code suivant, remplacez le 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 tout.

4

Je faisais face 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ée.
  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 qu’il s’agit en grande partie d’une barre vide):

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

    Un truc astucieux pour le Dock: lorsque vous survolez une icône du Dock, parcourez les fenêtres de l'application tout en faisant défiler l'écran (ou en utilisant deux doigts). Plus rapide que cliquer + sélectionner:

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

    Je configure le dock pour qu'il se cache automatiquement dans l'application "Paramètres" habituelle. 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 au cas où vous auriez 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.

0
dilguis