Contenu | Rechercher | Menus

Annonce

T-shirt Seiche Cosmic, Série limitée

L'équipe des administrateurs et modérateurs du forum vous invite à prendre connaissance des nouvelles règles.
En cas de besoin, vous pouvez intervenir dans cette discussion.

Ubuntu 18.10
T-shirt Ubuntu-FR « Seiche Cosmique » en série limitée ! Prix spécial pré-vente (15€) jusqu'au 4 novembre 2018.

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

Heure d'hiver: N'oubliez pas de décochez l'heure d'été dans votre profil.

#1 Le 20/10/2017, à 15:44

Pympc

Pas de paramètre pour le dock Ubuntu....

Bonjour à tous

Je viens de réaliser la mise à niveau de 17.04 vers 17.10. Pas de soucis si ce n'est que je me suis retrouvé sous Gnome Classique et non gnome Shell. Pas grave après déconnexion et le choix tout est OK sauf le Dock Ubuntu. Je ne peux pas le paramétré.
Si j'en crois une autre installation (à partir de rien sur un autre PC), le paramétrage se fait via les "paramètres système". Et bien je ne ai pas l'option Dock.
Quelqu'un a t'il une idée?
D'avance merci

Hors ligne

#2 Le 21/10/2017, à 11:30

Major Grubert

Re : Pas de paramètre pour le dock Ubuntu....

Ici tu as une extension qui rend les paramètres lisibles mais qui ne permet pas d'y toucher, je crois :
https://extensions.gnome.org/extension/ … -settings/


Pour en savoir plus sur Gnome Shell.
. Lenovo Yoga 13 : Windows 10 / Ubuntu 17.10 (Gnome sous Xorg)

Hors ligne

#3 Le 21/10/2017, à 12:54

Roschan

Re : Pas de paramètre pour le dock Ubuntu....

Pympc a écrit :

Bonjour à tous

Je viens de réaliser la mise à niveau de 17.04 vers 17.10. Pas de soucis si ce n'est que je me suis retrouvé sous Gnome Classique et non gnome Shell. Pas grave après déconnexion et le choix tout est OK sauf le Dock Ubuntu. Je ne peux pas le paramétré.
Si j'en crois une autre installation (à partir de rien sur un autre PC), le paramétrage se fait via les "paramètres système". Et bien je ne ai pas l'option Dock.
Quelqu'un a t'il une idée?
D'avance merci

Je suppose que

sudo apt install --reinstall ubuntu-desktop

devrait suffire.

Pour avoir tous les paramètres du dock, installer "Dash-to-dock" depuis extensions.gnome.org devrait fonctionner, mais ça ne règle pas le problème pour autant.

Dernière modification par Roschan (Le 21/10/2017, à 12:55)

Hors ligne

#4 Le 22/10/2017, à 14:11

Pympc

Re : Pas de paramètre pour le dock Ubuntu....

Merci de vos réponses

Pour répondre à Major Grubert, le paramétrage de l'extension me renvoie à l'erreur suivante :

Error: Argument 'object' (type interface) may not be null

Stack trace:
  Settings<._bindSettings@/home/pcpym/.local/share/gnome-shell/extensions/dock-settings@lagrangian/prefs.js:599:9
  wrapper@resource:///org/gnome/gjs/modules/_legacy.js:82:22
  Settings<._init@/home/pcpym/.local/share/gnome-shell/extensions/dock-settings@lagrangian/prefs.js:101:9
  wrapper@resource:///org/gnome/gjs/modules/_legacy.js:82:22
  _Base.prototype._construct@resource:///org/gnome/gjs/modules/_legacy.js:18:5
  Class.prototype._construct/newClass@resource:///org/gnome/gjs/modules/_legacy.js:117:20
  buildPrefsWidget@/home/pcpym/.local/share/gnome-shell/extensions/dock-settings@lagrangian/prefs.js:713:20
  Application<._selectExtension@resource:///org/gnome/shell/extensionPrefs/main.js:91:22
  wrapper@resource:///org/gnome/gjs/modules/_legacy.js:82:22
  Application<._onCommandLine@resource:///org/gnome/shell/extensionPrefs/main.js:246:17
  wrapper@resource:///org/gnome/gjs/modules/_legacy.js:82:22
  main@resource:///org/gnome/shell/extensionPrefs/main.js:402:5
  @<main>:1:43

donc pas de possibilité de faire partir ce dock lorsque je ne l'utilise pas !

Pour répondre à Roschan, hélas cela n'a rien fait, je n'ai toujours pas l'option Dock dans le formulaire "Paramètres".

Est-ce parce que j'ai mis à jours ma version 17.04 en gnome d'origine ? C'est pour moi un grand mystère

Dernière modification par Pympc (Le 22/10/2017, à 14:11)

Hors ligne

#5 Le 22/10/2017, à 14:14

Roschan

Re : Pas de paramètre pour le dock Ubuntu....

Tu t'es bien connecté à la session "Ubuntu" ? Pas à la session "GNOME" ?

Hors ligne

#6 Le 22/10/2017, à 17:08

doc_denis

Re : Pas de paramètre pour le dock Ubuntu....

Bonjour,

J'ai installé Ubuntu 17.10 et une Debian 9.2.1 sur un autre ordi pour comparer les deux distributions : retour d'expérience.

Sur Ubuntu 17.10 le dock à effectivement peu d'options et dans Debian bien plus grâce à une extension ajoutée dans "gnome-tweak-tool" = "Utilitaires > Ajustements"
> https://doc.ubuntu-fr.org/gnome-tweak-tool

je suis donc parti pour installer la fameuse extension "Dash to Dock" sur ubuntu ...c'est facile malgré les apparences smile
> https://extensions.gnome.org/extension/ … h-to-dock/

j'installe la version à partir des sources de github car je n'ai pas réussi l'autre méthode d'installation sur Ubuntu.
> https://micheleg.github.io/dash-to-dock/download.html

c'est parti avec l'étape 1, mon installation est fraîche, il me faut donc tout installer.

avant tout, j'installe "gnome-tweak-tool" qui n'est pas installé d'origine.

sudo apt-get install gnome-tweak-tool

1- j'installe git

sudo apt-get install git

2- j'installe make pour une installation manuelle à partir du code source

sudo apt-get install make

je télécharge les sources de "dash to dock" avec la ligne ci-dessous :
...Pst, si tu souhaite, tu peux passer dans ton dossier "Téléchargements" avant de télécharger les sources.

sudo git clone https://github.com/micheleg/dash-to-dock.git

ensuite, j'entre dans le dossier pour lancer l'installation.

cd dash-to-dock

puis je lance l'installation :

sudo make

puis :

sudo make install

Une méthode qui comprend l'ensemble des commandes vues ci-dessus pour "Ubuntu 17.10 installation fraiche" ...ça doit fonctionner :

sudo apt-get install gnome-tweak-tool -y && sudo apt-get install git -y && git clone https://github.com/micheleg/dash-to-dock.git && cd dash-to-dock && sudo make && sudo make install

et pour finir, je fait la combinaison suivante sur mon clavier "Alt+F2"
et je tape la lettre "r" avant d'appuyer sur la touche "Entrée"


Voilà, c'est installé et prêt à être utilisé

un clic sur l'icône "afficher les applications" > "Utilitaires" > "Ajustements"
clique sur le bouton à droite de "Dash to Dock" pour l'activer.
maintenant un clic sur la roue crantée pour accéder aux réglages.

Voici ce que j'ai sélectionné sur les onglets :

Onglet Position et taille :
position sur l'écran : gauche
masquage intelligent : activé
étendre aux bords de l'écran : coché (style unity).

onglet comportement :
Action du clic : Minimiser ou lancer l'exposer

onglet apparence :
Réduire les marges : activé
régler l'oppacité du dock : Adaptatif ou "Fixé et opacité sur 25%".
Enable Unity ? : activé ou pas, c'est juste une histoire de goût. ...moi = inactif

et me voilà avec un dock au poil pour Ubuntu 17.10

Hors ligne

#7 Le 22/10/2017, à 17:54

Major Grubert

Re : Pas de paramètre pour le dock Ubuntu....

Il y a une extension pour Firefox qui permet d'installer directement depuis le site Gnome Extensions.
Elle est normalement visible sur le site Gnome Extensions (dans un message du type "Attention vous n'avez pas installé telle extension qui est nécessaire pour une bonne intégration, patati patata") si tu ne l'as pas installée (la possibilité de l'installer est masquée quand tu l'as déjà installée).
Parfois cela nécessite d'ajouter un paquet mais c'est alors indiqué.

C'est plus pratique que de passer par github, je pense.


Pour en savoir plus sur Gnome Shell.
. Lenovo Yoga 13 : Windows 10 / Ubuntu 17.10 (Gnome sous Xorg)

Hors ligne

#8 Le 22/10/2017, à 18:30

Roschan

Re : Pas de paramètre pour le dock Ubuntu....

la vache t'aimes te compliquer la vie, le seul paquet qu'il faut c'est chrome-gnome-shell, après ya même pas besoin de tweak tool, tu fais tout depuis extensions.gnome.org

Hors ligne

#9 Le 22/10/2017, à 22:00

doc_denis

Re : Pas de paramètre pour le dock Ubuntu....

@ Major Grubert : j'ai tester avec firefox, mais sans succès.

@Roschan : ouais, mais ça marche. merci du tuyau je vais tester sur une installation neuve, sinon, c'est pas du jeu.
...le paramétrage aussi ?

l'important est d'arrivé à une solution idéale pour tous.

Hors ligne

#10 Le 22/10/2017, à 22:39

Roschan

Re : Pas de paramètre pour le dock Ubuntu....

oui le paramétrage aussi, sinon tu as l'utilitaire gnome-shell-extension-prefs

Hors ligne