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?
(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.
17.10
gnome-shell
ubuntu-dock
gnome-shell-extension
dock
Andrew Isom
la source
la source
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!Réponses:
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).
la source
/usr/share/gnome-shell/extensions
.gnome-tweak-tool
. C'est ce qui n'a pas fonctionné pour moi.sudo apt remove gnome-shell-extension-ubuntu-dock
. Ensuite, déconnectez-vous / connectez-vous et Dash to Dock fonctionnait correctement :)J'ai fait les étapes suivantes:
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é.
la source
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:
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.
la source
Ce qui suit fonctionne pour moi:
Modifiez le fichier suivant:
Dans le bloc de code suivant, remplacez le
let to_enable = true;
parlet to_enable = false
:restart
C'est ça.
la source
J'étais confronté au même problème, puis j'ai trouvé ce cluadio nxadm . Ça a vraiment fait l'affaire.
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):
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:
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»):
Juste pour être sûr (par exemple, si vous avez cassé quelque chose), vous pouvez réinitialiser tous les paramètres GNOME avec:
Facultatif: vous pouvez installer
dconf-editor
et explorer d'autres paramètres.la source