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

16

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 d'affiner et de modifier l'apparence 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?

IMG:
(Cliquez sur l'image pour agrandir)

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

Andrew Isom
la source
Une fois que Dash to Dock est installé, vous pouvez simplement sudo apt remove gnome-shell-extension-ubuntu-dock. C'est ce que j'ai fini par faire pour résoudre des problèmes comme celui-ci. Bye Bye!
Shibumi

Réponses:

11

Exécuter Dash to Dock avec le Ubuntu Dock par défaut n'est pas une bonne idée. Comme Ubuntu Dock est un fork de Dash to Dock (et donc ils partagent de nombreux mêmes schémas), 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 manière ou d'une autre (référez-vous à cela si vous souhaitez désactiver Ubuntu Dock).

pomsky
la source
Pomsky a raison, j'ai eu le même problème avec 17.10, pour moi Dash to Dock était à l'origine du problème
Doudou
1
J'ai le même problème et j'ai désactivé le dock ubuntu avant d'installer le dock sur le tableau de bord. Je ne connais donc pas les autres, mais cela ne fonctionne pas pour moi.
verpfeilt
@verpfeilt Il n'est pas facile de désactiver Ubuntu Dock dans la session Ubuntu par défaut. L'option la plus sûre est d' installer vanilla GNOME , Ubuntu Dock y est désactivé par défaut. Vous pouvez également considérer la réponse de leoperbo à cette question. Une option potentiellement dangereuse consiste à supprimer le dossier du dock /usr/share/gnome-shell/extensions.
pomsky
D'accord, je suppose qu'avec "Tweaks" vous vouliez dire gnome-tweak-tool. C'est ce qui n'a pas fonctionné pour moi.
verpfeilt
1
Pour l'enlever, je l'ai fait sudo apt remove gnome-shell-extension-ubuntu-dock. Ensuite, déconnectez-vous / connectez-vous et Dash to Dock fonctionnait correctement :)
Jérémy Pouyet
7

J'ai fait les étapes suivantes:

  • Ouvrez Dash to Dock settings
  • Accès à l'onglet «Poistion et taille»
  • Cochez l'option 'Afficher sur tous les moniteurs'

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

chai_and_kaapi
la source
Cela a fonctionné pour moi! Une idée de la façon dont ce paramètre influence le comportement du dock sur l'écran des activités?
everton
Je ne peux que faire des suppositions éclairées pour expliquer pourquoi cela a fonctionné. Malheureusement, je ne peux pas vous fournir quoi que ce soit de concret.
chai_and_kaapi
A fonctionné pour moi sur Ubuntu 18.10, même si cela n'a pas de sens.
andreas
Cela a fonctionné pour moi. Peut-être qu'il y a quelque chose à voir avec l'installation d'ubuntu avec une partition domestique existante?
Stargazer
5

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

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

  1. Installez Dash to Dock.
  2. Faites toute votre personnalisation.
  3. Supprimez Dash to Dock (depuis 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 (quais se chevauchent, affichages du dock sur l'écran de verrouillage et émissions favorites sur la vue des activités) ne sont plus présents.

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

leoperbo
la source
Cela n'a pas fonctionné pour moi, malheureusement. Le Dock Ubuntu est maintenant comme avant. J'ai lu que canonical avait promis que les gens pourraient utiliser l'extension Dash vers Dock normale s'ils le souhaitaient, alors je me demande vraiment pourquoi ce problème existe.
verpfeilt
4

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 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 ça.

David Astillero Pérez
la source
0

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

  1. Supprimez l'extension Dash to Dock au cas où vous l'avez installé.
  2. Utilisez dconfcomme 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
    

    Une astuce intéressante du Dock: lorsque vous survolez 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'"
    

    J'ai défini le dock pour qu'il se masque automatiquement dans l'application "Paramètres" standard. Une extension est nécessaire pour faire de même 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-editoret explorer d'autres paramètres.

dilguis
la source