web-dev-qa-db-fra.com

Il manque des paramètres de dock dans gnome-control-center après la mise à niveau vers Ubuntu 17.10

Je viens de passer à Ubuntu 17.10 et je manque les paramètres du dock Ubuntu, c’est-à-dire que, dans gnome-control-center, les paramètres du dock sont vides:

enter image description here

Je pense que le paquetage "ubuntu-dock" est peut-être manquant, mais je ne le trouve nulle part dans le centre logiciel.

De plus, le gnome-control-center était complètement manquant après la mise à jour et j'ai dû l'installer séparément - je ne suis pas sûr que cela soit lié.

Je pense que cela est différent de les paramètres d'ubuntu-dock ne sont pas accessibles par défaut dans gnome-control-center car changer le type de session GNOME ne résout pas le problème. Si je choisis GNOME *, je n’ai aucune section de paramètres de Dock, et si j’ai pour Ubuntu *, j’obtiens la section de paramètres de Dock vierge décrite ci-dessus.

Sortie de apt-cache policy gnome-Shell-extension-ubuntu-dock:

rob@rob-pc:~$ apt-cache policy gnome-Shell-extension-ubuntu-dock
gnome-Shell-extension-ubuntu-dock:
  Installed: (none)
  Candidate: 0.7
  Version table:
     0.7 500
        500 http://gb.archive.ubuntu.com/ubuntu artful/main AMD64 Packages
        500 http://gb.archive.ubuntu.com/ubuntu artful/main i386 Packages
18
Rob Wilson

Ubuntu Dock ne semble pas être installé, vous pouvez le vérifier en exécutant

apt-cache policy gnome-Shell-extension-ubuntu-dock

Il devrait y avoir une ligne Installed: (none) dans la sortie. Si tel est le cas, vous pouvez l'installer en exécutant la commande suivante dans Terminal:

Sudo apt install gnome-Shell-extension-ubuntu-dock

Si Ubuntu Dock est installé et que vous ne trouvez toujours pas les paramètres, voir ceci: les paramètres d'ubuntu-dock ne sont pas accessibles par défaut dans gnome-control-center

14
pomsky

Ce problème peut être dû à des problèmes lors de la mise à niveau. Essayez de réinstaller le dock Ubuntu:

Sudo apt purge gnome-Shell-extension-ubuntu-dock
Sudo apt install --reinstall ubuntu-desktop

Cela peut ou non réparer les problèmes qui ont apparemment mal tourné lors de la mise à niveau.

4
vanadium

Contexte

Même si l’opérateur a déclaré ce qui suit ne fonctionne pas sur sa machine, il DID fonctionne sur mon ordinateur portable ...

"Je pense que c'est différent de les paramètres d'ubuntu-dock ne sont pas accessibles par défaut dans gnome-control-center car changer le type de session GNOME ne résout pas le problème. Si je choisis GNOME *, je reçois pas de section des paramètres du Dock du tout, et si je suis pour Ubuntu *, je reçois la section vide des paramètres du Dock décrite ci-dessus "~~ OP

Comme Pomsky l'a suggéré dans les commentaires de sa réponse, lié ci-dessus, a fourni une solution supplémentaire, mais différente qui a fonctionné pour moi après que sa réponse n'ait pas fonctionné. . Donc pour référence future de ceux venant de Google ...

"Le paramètre de dock Ubuntu est accessible uniquement à partir de la (des) session (s) GNOME personnalisée (s) par Ubuntu, et non à partir de la (des) session (s) GNOME par défaut.

Lorsque vous démarrez votre système et accédez à l'écran de connexion GDM, vous devez trouver une roue dentée () à côté du bouton de connexion. Si vous cliquez sur la roue dentée, vous devriez trouver une option Ubuntu (et/ou Ubuntu sur Xorg).

Choisissez Ubuntu (ou Ubuntu sur Xorg) au lieu de GNOME (ou GNOME sur Xorg). "~~ Pomsky

Situation

J'avais Ubuntu Dock installé mais l’option Dock ne se présentait plus et . Avait auparavant, mais ne sais pas quand il a disparu.

J'ai vérifié que je l'avais installé avec la commande apt-cache ci-dessous. Je n'avais pas de valeur Installed: (none) mais un nombre réel.

apt-cache policy gnome-Shell-extension-ubuntu-dock

Réparer

  1. Redémarrer Linux
  2. Changez le type de session avec lequel vous vous êtes connecté via la roue dentée (⚙️).
    • Choisissez Ubuntu ou Ubuntu on Xorg.
    • Ne pas choisir une autre option comme GNOME

enter image description here

Dans l'image ci-dessus, j'avais 3 articles à choisir. J'ai donc choisi Ubuntu et me suis connecté.

Si vous n'avez pas 3 options, cette solution ne fonctionnera probablement pas pour vous. Faites-moi savoir dans les commentaires autrement.

2

Il suffit d’installer l’extension "Dash to Dock" à partir du centre logiciel et de jouer avec les paramètres. Ce paquet est AKA gnome-Shell-extension-ubuntu-dock et est disponible dans les référentiels pour 17.10 et 18.04 ATM. Les futures versions peuvent également être prises en charge. Voir le lien ci-dessus.

0
Bharat Parmar