#1 Le 12/07/2022, à 09:40
- Doc Brown
[RÉSOLU] Dock Ubuntu dans ajustements pas de fenêtre extensions.
Bonjour à toutes et tous,
tout est dans le titre et les images ci-dessous
Le lien
http://mezigoo.free.fr/Ubuntu/index.html
propose pour la modification du dock la fenêtre extensions ainsi que espace de travail
que je n'ai pas dans ma version 22.04 LTS - S'obtient en sélectionnant ajustements dans les applications.
Merci pour votre aide
Dernière modification par Doc Brown (Le 13/07/2022, à 16:10)
Membre de linux-azur
Insérer image
Conseils pour les nouveaux demandeurs et pas qu'eux copie de la signature de xubu1957
Hors ligne
#2 Le 12/07/2022, à 09:51
- Doc Brown
Re : [RÉSOLU] Dock Ubuntu dans ajustements pas de fenêtre extensions.
J'ai aussi un autre problème à vous soumettre et qui est peut être lié.
Le changement Color n'est pas efficient.
Sur l'image, le fond d'ecran est bleu et le reste même en sélectionnant l'orange - S'obtient en sélectionnant apparence dans les applications ou dans paramètres.
Ci dessous ma configuration
Dernière modification par Doc Brown (Le 12/07/2022, à 10:32)
Membre de linux-azur
Insérer image
Conseils pour les nouveaux demandeurs et pas qu'eux copie de la signature de xubu1957
Hors ligne
#3 Le 12/07/2022, à 11:50
- cris22
Re : [RÉSOLU] Dock Ubuntu dans ajustements pas de fenêtre extensions.
Bonjour
Si cela répond à votre problème, il y a une application pour les extensions maintenant, qui se nomme extensions.
Les extensions ne se gèrent plus avec tweak.
Ubuntu 24.04 LTS - 64 bits
Mémoire : 32GiB - Carte : NVIDIA GeForce RTX™ 2060 SUPER
Processeur : Intel(R) Core(TM) i7-14700KF
carte mère : ASRock Z790 Pro RS/D4
Hors ligne
#4 Le 12/07/2022, à 13:31
- Doc Brown
Re : [RÉSOLU] Dock Ubuntu dans ajustements pas de fenêtre extensions.
Bonjour cris22,
Merci pour cette suggestion que je me suis pressé d'installer
sudo apt install gnome-shell-extensionsMais qui n'a pas donné le résultat escompté 
Dernière modification par Doc Brown (Le 12/07/2022, à 13:51)
Membre de linux-azur
Insérer image
Conseils pour les nouveaux demandeurs et pas qu'eux copie de la signature de xubu1957
Hors ligne
#5 Le 12/07/2022, à 15:02
- inbox
Re : [RÉSOLU] Dock Ubuntu dans ajustements pas de fenêtre extensions.
Salut,
As-tu lancé Extensions, après son installation ?
A+
Un problème résolu ? Indiquez le en modifiant le titre du sujet.
Hors ligne
#6 Le 12/07/2022, à 17:58
- Doc Brown
Re : [RÉSOLU] Dock Ubuntu dans ajustements pas de fenêtre extensions.
@inbox,
Merci pour ta proposition.
Réponse de la commande
alain@Alain-Tour:~$ Extensions
Extensions : commande introuvable
alain@Alain-Tour:~$ Extension
Extension : commande introuvable
alain@Alain-Tour:~$Membre de linux-azur
Insérer image
Conseils pour les nouveaux demandeurs et pas qu'eux copie de la signature de xubu1957
Hors ligne
#7 Le 12/07/2022, à 18:10
- nany
Re : [RÉSOLU] Dock Ubuntu dans ajustements pas de fenêtre extensions.
Bonjour,
Le nom complet de l’appli est gnome-extensions-app visible sous le nom Extensions dans le menu des applications.
Je profite de mon passage ici pour répondre à ton MP.
Alors je vois que tu as trouvé comment te servir de pix.cyber-nux.fr. Seule chose à redire, il est préférable de poster les miniatures.
Et, si jamais cet hébergeur est en panne un jour, voici un petit tuto pour en utiliser deux autres.
Hors ligne
#8 Le 12/07/2022, à 18:30
- Doc Brown
Re : [RÉSOLU] Dock Ubuntu dans ajustements pas de fenêtre extensions.
Bonjour nany,
Effectivement avec cette commande s'affichent toutes les extensions modifiables.
Encore un grand merci pour ton aide généreuse. 
Dernière modification par Doc Brown (Le 13/07/2022, à 14:13)
Membre de linux-azur
Insérer image
Conseils pour les nouveaux demandeurs et pas qu'eux copie de la signature de xubu1957
Hors ligne
#9 Le 13/07/2022, à 14:11
- Doc Brown
Re : [RÉSOLU] Dock Ubuntu dans ajustements pas de fenêtre extensions.
Bonjour à toutes et tous,
Bon, OK, je fais une fixette avec les icônes, mais avouez qu'il y a de quoi.
Bref, comment faire pour que l'ordinateur 1 ait le mêmes jeux d'icônes que le 2 ?
Dernière modification par Doc Brown (Le 13/07/2022, à 14:12)
Membre de linux-azur
Insérer image
Conseils pour les nouveaux demandeurs et pas qu'eux copie de la signature de xubu1957
Hors ligne
#10 Le 13/07/2022, à 14:21
- nany
Re : [RÉSOLU] Dock Ubuntu dans ajustements pas de fenêtre extensions.
Il me semblait bien que le problème était résolu.
Bien, sur l’ordi 1, donne le retour de :
gsettings get org.gnome.desktop.interface icon-themeHors ligne
#11 Le 13/07/2022, à 14:30
- Doc Brown
Re : [RÉSOLU] Dock Ubuntu dans ajustements pas de fenêtre extensions.
alain@Alain-Tour:~$ gsettings get org.gnome.desktop.interface icon-theme
'Yaru'
alain@Alain-Tour:~$'Yaru' aussi sur l'ordi 2
Dernière modification par Doc Brown (Le 13/07/2022, à 14:39)
Membre de linux-azur
Insérer image
Conseils pour les nouveaux demandeurs et pas qu'eux copie de la signature de xubu1957
Hors ligne
#12 Le 13/07/2022, à 14:38
- nany
Re : [RÉSOLU] Dock Ubuntu dans ajustements pas de fenêtre extensions.
C’est pourtant bien Yaru. Quelque chose m’échappe…
Donne alors le retour de :
gsettings list-recursively org.gnome.desktop.interfaceHors ligne
#13 Le 13/07/2022, à 14:41
- Doc Brown
Re : [RÉSOLU] Dock Ubuntu dans ajustements pas de fenêtre extensions.
alain@Alain-Tour:~$ gsettings list-recursively org.gnome.desktop.interface
org.gnome.desktop.interface avatar-directories @as []
org.gnome.desktop.interface can-change-accels false
org.gnome.desktop.interface clock-format '24h'
org.gnome.desktop.interface clock-show-date true
org.gnome.desktop.interface clock-show-seconds false
org.gnome.desktop.interface clock-show-weekday false
org.gnome.desktop.interface color-scheme 'prefer-dark'
org.gnome.desktop.interface cursor-blink true
org.gnome.desktop.interface cursor-blink-time 1200
org.gnome.desktop.interface cursor-blink-timeout 10
org.gnome.desktop.interface cursor-size 24
org.gnome.desktop.interface cursor-theme 'Yaru'
org.gnome.desktop.interface document-font-name 'Liberation Sans Narrow Condensed 12'
org.gnome.desktop.interface enable-animations true
org.gnome.desktop.interface enable-hot-corners false
org.gnome.desktop.interface font-antialiasing 'rgba'
org.gnome.desktop.interface font-hinting 'slight'
org.gnome.desktop.interface font-name 'Liberation Sans Narrow Bold Condensed 12'
org.gnome.desktop.interface font-rgba-order 'rgb'
org.gnome.desktop.interface gtk-color-palette 'black:white:gray50:red:purple:blue:light blue:green:yellow:orange:lavender:brown:goldenrod4:dodger blue:pink:light green:gray10:gray30:gray75:gray90'
org.gnome.desktop.interface gtk-color-scheme ''
org.gnome.desktop.interface gtk-enable-primary-paste true
org.gnome.desktop.interface gtk-im-module ''
org.gnome.desktop.interface gtk-im-preedit-style 'callback'
org.gnome.desktop.interface gtk-im-status-style 'callback'
org.gnome.desktop.interface gtk-key-theme 'Default'
org.gnome.desktop.interface gtk-theme 'Yaru-dark'
org.gnome.desktop.interface gtk-timeout-initial 200
org.gnome.desktop.interface gtk-timeout-repeat 20
org.gnome.desktop.interface icon-theme 'Yaru'
org.gnome.desktop.interface locate-pointer false
org.gnome.desktop.interface menubar-accel 'F10'
org.gnome.desktop.interface menubar-detachable false
org.gnome.desktop.interface menus-have-tearoff false
org.gnome.desktop.interface monospace-font-name 'Ubuntu Mono 13'
org.gnome.desktop.interface overlay-scrolling true
org.gnome.desktop.interface scaling-factor uint32 0
org.gnome.desktop.interface show-battery-percentage false
org.gnome.desktop.interface text-scaling-factor 1.0000000000000204
org.gnome.desktop.interface toolbar-detachable false
org.gnome.desktop.interface toolbar-icons-size 'large'
org.gnome.desktop.interface toolbar-style 'both-horiz'
org.gnome.desktop.interface toolkit-accessibility false
alain@Alain-Tour:~$Dernière modification par Doc Brown (Le 13/07/2022, à 15:13)
Membre de linux-azur
Insérer image
Conseils pour les nouveaux demandeurs et pas qu'eux copie de la signature de xubu1957
Hors ligne
#14 Le 13/07/2022, à 15:13
- nany
Re : [RÉSOLU] Dock Ubuntu dans ajustements pas de fenêtre extensions.
Bon, il y a probablement un conflit quelque part mais je ne vois pas où.
La seule chose que j’ai remarquée, c’est que tu as changé de polices (je ne sais même pas comment les changer graphiquement ^^) mais je ne vois vraiment pas pourquoi ça pourrait clocher.
Au pire tu remets toutes les valeurs par défaut :
gsettings reset-recursively org.gnome.desktop.interfaceEt tu refais tes réglages pour voir s’il y a un truc qui cloche.
Dernière modification par nany (Le 13/07/2022, à 15:14)
Hors ligne
#15 Le 13/07/2022, à 15:19
- Doc Brown
Re : [RÉSOLU] Dock Ubuntu dans ajustements pas de fenêtre extensions.
OK,
Sinon je peux aussi te donner le retour pour l'ordi 2
alain@alain-X751LA:~$ gsettings get org.gnome.desktop.interface icon-theme
'Yaru'
alain@alain-X751LA:~$ gsettings list-recursively org.gnome.desktop.interface
org.gnome.desktop.interface avatar-directories @as []
org.gnome.desktop.interface can-change-accels false
org.gnome.desktop.interface clock-format '24h'
org.gnome.desktop.interface clock-show-date true
org.gnome.desktop.interface clock-show-seconds false
org.gnome.desktop.interface clock-show-weekday false
org.gnome.desktop.interface color-scheme 'prefer-dark'
org.gnome.desktop.interface cursor-blink true
org.gnome.desktop.interface cursor-blink-time 1200
org.gnome.desktop.interface cursor-blink-timeout 10
org.gnome.desktop.interface cursor-size 24
org.gnome.desktop.interface cursor-theme 'Yaru'
org.gnome.desktop.interface document-font-name 'Sans 11'
org.gnome.desktop.interface enable-animations true
org.gnome.desktop.interface enable-hot-corners false
org.gnome.desktop.interface font-antialiasing 'rgba'
org.gnome.desktop.interface font-hinting 'slight'
org.gnome.desktop.interface font-name 'Ubuntu 11'
org.gnome.desktop.interface font-rgba-order 'rgb'
org.gnome.desktop.interface gtk-color-palette 'black:white:gray50:red:purple:blue:light blue:green:yellow:orange:lavender:brown:goldenrod4:dodger blue:pink:light green:gray10:gray30:gray75:gray90'
org.gnome.desktop.interface gtk-color-scheme ''
org.gnome.desktop.interface gtk-enable-primary-paste true
org.gnome.desktop.interface gtk-im-module ''
org.gnome.desktop.interface gtk-im-preedit-style 'callback'
org.gnome.desktop.interface gtk-im-status-style 'callback'
org.gnome.desktop.interface gtk-key-theme 'Default'
org.gnome.desktop.interface gtk-theme 'Yaru-dark'
org.gnome.desktop.interface gtk-timeout-initial 200
org.gnome.desktop.interface gtk-timeout-repeat 20
org.gnome.desktop.interface icon-theme 'Yaru'
org.gnome.desktop.interface locate-pointer false
org.gnome.desktop.interface menubar-accel 'F10'
org.gnome.desktop.interface menubar-detachable false
org.gnome.desktop.interface menus-have-tearoff false
org.gnome.desktop.interface monospace-font-name 'Ubuntu Mono 13'
org.gnome.desktop.interface overlay-scrolling true
org.gnome.desktop.interface scaling-factor uint32 0
org.gnome.desktop.interface show-battery-percentage false
org.gnome.desktop.interface text-scaling-factor 1.0
org.gnome.desktop.interface toolbar-detachable false
org.gnome.desktop.interface toolbar-icons-size 'large'
org.gnome.desktop.interface toolbar-style 'both-horiz'
org.gnome.desktop.interface toolkit-accessibility false
alain@alain-X751LA:~$Membre de linux-azur
Insérer image
Conseils pour les nouveaux demandeurs et pas qu'eux copie de la signature de xubu1957
Hors ligne
#16 Le 13/07/2022, à 15:35
- nany
Re : [RÉSOLU] Dock Ubuntu dans ajustements pas de fenêtre extensions.
Sinon je peux aussi te donner le retour pour l'ordi 2
… org.gnome.desktop.interface document-font-name 'Sans 11' … org.gnome.desktop.interface font-name 'Ubuntu 11' …
Là tu n’as pas changé les polices (et c’est tout ce que je vois comme différences).
Si c’est vraiment ce qui coince, je trouve ça très bizarre.
Hors ligne
#17 Le 13/07/2022, à 15:55
- Doc Brown
Re : [RÉSOLU] Dock Ubuntu dans ajustements pas de fenêtre extensions.
Je viens d'exécuter la commande et malheureusement rien n'a changé, si ce n'est les polices
Au démarrage s'affichent tous ces messages
Il ya un petit bonhomme dans les icones en haut à droite ...
Et c'est lui le coupable ! Mille et une excuses
je ne sais pas comment il est arrivé, un raccourcis clavier ? Une mauvaise frappe ?
Bref c'est réglé.
@nany merci pour ton aide et ta patience.
Dernière modification par Doc Brown (Le 15/07/2022, à 08:42)
Membre de linux-azur
Insérer image
Conseils pour les nouveaux demandeurs et pas qu'eux copie de la signature de xubu1957
Hors ligne
#18 Le 13/07/2022, à 16:45
- nany
Re : [RÉSOLU] Dock Ubuntu dans ajustements pas de fenêtre extensions.
Il ya un petit bonhomme dans les icones en haut à droite ...
je ne sais pas comment il est arrivé, un raccourcis clavier ? Une mauvaise frappe ?
Tu as dû aller voir dans les options d’accessibilité à un moment donné et y apporter des modifications (volontaires ou involontaires).
Bref, tout est bien qui finit bien.
Hors ligne
#19 Le 14/07/2022, à 20:27
- Doc Brown
Re : [RÉSOLU] Dock Ubuntu dans ajustements pas de fenêtre extensions.
Comme un dessin vaut mieux qu'un long croquis 
Au cours de mes manipulations hasardeuses, j'ai activé : contraste élevé sans voir le titre de la fenêtre : accessibilté qui génére aussi l'icône ''petit bonhomme''
La bascule de ce choix modifie immédiatement les icônes que je ne désirais pas ou ceux que je souhaitais et agit aussi sur
le changement Color qui n'est pas efficient #2.
Donc mon problème a été résolu avec ces configurations
Membre de linux-azur
Insérer image
Conseils pour les nouveaux demandeurs et pas qu'eux copie de la signature de xubu1957
Hors ligne
#20 Le 14/07/2022, à 20:48
- Coeur Noir
Re : [RÉSOLU] Dock Ubuntu dans ajustements pas de fenêtre extensions.
L'icône « petit bonhomme » apparaît dès lors qu'on modifie la moindre option ayant un rapport plus ou moins lointain avec l'accessibilité.
Par exemple, à partir du moment où tu changes la taille de police pour quelque chose d'un peu plus grand, pouf, le p'ti bonhomme apparaît…
Il y a donc une extension gnome-shell pour forcer le NON-affichage de cette icône : Hide Universal Access.
Dans le fond ce ne serait pas gênant de conserver cette icône, le problème c'est qu'elle fait très mal son boulot - sous Ubuntu/Xorg en tout cas ( zoom buguée, désactiver~réactiver grand texte donne un résultat assez étonnant… )
Dernière modification par Coeur Noir (Le 19/07/2022, à 03:31)
Débuter ⋅ Doc ⋅ Bien rédiger ⋅ Retour commande ⋅ Insérer image | illustrations & captures d'écran < ⋅ >
Hors ligne