(RESOLU) Bureaux virtuels dynamiques avec "gnome extensions"

Papyrus · Le 24/10/2018, à 10:40

Bonjour,
j'utilise Gnome3 pour ses bureaux dynamiques très pratiques. Au démarrage, 1 seul bureau permet d'ouvrir une application et aussitôt un nouveau bureau se présente pour ouvrir si nécessaire une deuxième application sur ce deuxième bureau suivi d'un troisième bureau... et ainsi de suite selon le nombre d'applications que l'on désire ouvrir chacune sur un bureau séparé.
Mais depuis la version 18.10, le nombre de bureaux virtuels dynamiques se limite à maximum 3... ouverts en permanence, plus de fonction "dynamique"...!

Y a-t-il une explication à cela ? Un bug ? Une solution ?
Merci à vous.

Dernière modification par Papyrus (Le 25/10/2018, à 14:34)

inbox · Le 24/10/2018, à 10:57

Salut,

Il faut d'abord installer gnome-tweaks. Ensuite, tu le lances et va dans "Espaces de travail". La il te faut choisir "Espaces de travail dynamiques".

A+

Papyrus · Le 24/10/2018, à 11:45

Ah ben oui, ça je le sais, ce n'est rien de neuf, mais ça ne marche pas : 3 bureaux maximum et pas un de plus !

Roschan · Le 24/10/2018, à 12:07

Quelque chose me dit que tu n'es pas connecté à la bonne session

Papyrus · Le 24/10/2018, à 12:38

Tu veux dire quoi exactement avec "tu n'es pas connecté à la bonne session" ?
Merci pour tes précisions.
Je signale au passage que j'utilise ubuntu sous Gnome depuis 2006 !

Roschan · Le 24/10/2018, à 13:10

https://doc.ubuntu-fr.org/gdm#choix_de_l_environnement certaines sessions comme "GNOME Classique" ont des bureaux en nombre fixe et inchangeable

Papyrus · Le 24/10/2018, à 13:17

Oui, en effet, je connais cela et en principe, je suis sous Ubuntu sur xorg.
Mais je vérifie et surprise, il n'y ba plus de roue dentée pour passer par exemple de Wayland à xorg !!!
Gros problème plus général sur Gnome à mon avis.
Faut que je bidouille.
Merci en attendant.

inbox · Le 24/10/2018, à 14:55

As-tu supprimé des paquets avant que ton problème ne se produise ?

Papyrus · Le 24/10/2018, à 15:16

Je viens de tester une live-USB qui a fonctionné parfaitement... puis réinstallé la 18.10 qui présente à présent la roue dentée : login bien sur Ubuntu (et non Wayland!) et après les mises à jour, le problème est à nouveau présent : 3 bureaux virtuels d'office et maximum. Plus moyen d'en rajouter ou même d'en enlever !!!
Je pense que je vais résoudre le problème en repassant à la version 18.04.

Dernière modification par Papyrus (Le 24/10/2018, à 15:17)

inbox · Le 24/10/2018, à 15:50

Je viens d'installer une 18.10 dans une machine virtuelle, pour dire de partir d'une installation fraîche, et je ne rencontre pas ton problème puisque j'ai testé avec 7 bureaux virtuels.

Tes 3 bureaux viennent probablement de fichiers de configuration se trouvant dans ton /home. As-tu lancé "Ajustements" (paquet gnome-tweaks) pour vérifier le paramétrage des espaces de travail ?

Dernière modification par inbox (Le 24/10/2018, à 15:54)

Papyrus · Le 24/10/2018, à 16:01

Oui bien sûr, et je suis bien calé sur "Espace de travail dynamique".
PS : à propos de virtualisation (Virtualbox) j'ai constaté que les systèmes (linux ou Windows) ne réagissent pas pareils qu'en installation propre sur hd. Il y a des différences et c'est la raison pour laquelle je ne teste jamais sous virtualbox.

inbox · Le 24/10/2018, à 16:09

J'ai aussi un PC sous 18.10, migré depuis 18.04, qui ne rencontre pas ce problème.

Papyrus · Le 24/10/2018, à 16:22

C'est en effet étrange : en version live, ça marche parfaitement, une fois installé, ça bloque.
Merci quand même pour tes tentatives d'aide.
Peut-être que quelqu'un d'autre trouvera une solution quant à moi, je continue de chercher comme un Shadock : Ce n'est qu'en essayant continuellement que l'on finit par réussir. En d'autres termes, plus ça rate et plus on a de chances que ça marche. (The Shadoks)

Papyrus · Le 24/10/2018, à 17:39

Voilà ce que j'ai fait : installer ubuntu 18.10 dans une nouvelle partition avec son /home tout vierge. Résultat : tout marche bien.
J'ai changé mon fstab pour démarrer sur le /home de ma première installation défectueuse. Résultat : le problème est toujours présent.
Morale de l'histoire : c'est dans le /home qu'il faut chercher les causes du problème.
Je continue à bidouiller et publierai les solutions possibles.

Roschan · Le 24/10/2018, à 18:58

en espérant que tu n'ais pas trop d'extensions, fournis le retour de

ls -R ~/.local/share/gnome-shell

Papyrus · Le 25/10/2018, à 09:36

Je suis actuellement sous le nouveau /home qui fonctionne parfaitement avec l'ancien /root 18.10.
ls -R ~/.local/share/gnome-shell
/home/user/.local/share/gnome-shell:
application_state gnome-overrides-migrated

Je me suis rendu compte en comparant mon /home qui pose problème avec le /home qui fonctionne parfaitement que j'avais plein de fichiers et de répertoires supplémentaires dans le ;premier.
Les supprimer ne change rien du tout: je n'ai pas trouvé moyen de réparer /home.

PS:
je précise aussi que non seulement je sépare soigneusement /root et /home dans des partitions différentes
mais aussi toutes mes données dans une partition séparée /Data.
Ainsi mon /home est réduit au stricte minimum d'environ 1 Go. Mon /home ne contient que des fichiers paramètres système.
J'aime bien séparer serviettes et torchons !
Cela me permet aussi de gérer aisément mes distributions en dualboot sur un SSD /dev/nvme et mes données sur un hd de 2To.

Papyrus · Le 25/10/2018, à 12:43

Problème résolu : comme je ne trouve pas de réparation possible, la seule solution est de re-installer le tout... et ça fonctionne.
Morale de l'histoire : ce n'est ni un bug ni une erreur d'ubuntu mais certainement une mauvaise manip. de ma part.
Merci pour vos conseils précieux.

Papyrus · Le 25/10/2018, à 13:13

Oups !!! Le problème est réapparu lorsque j'ai installé des "gnome extensions" !
Va falloir procéder par élimination pour voir laquelle est problématique.
A +

Papyrus · Le 25/10/2018, à 14:33

Yeah ! Bingo, j'ai trouvé l'origine du problème : c'est l'extension gnome "Auto move Windows" qui bloque le nombre de bureaux virtuels à 3.
Il suffit de le désactiver.
Qui cherche trouve !
Alors il s'agirait bien d'un bug.

Dernière modification par Papyrus (Le 25/10/2018, à 14:35)

manup31 · Le 23/02/2023, à 16:25

Merci @Papyrux, you saved my day!

Ubuntu-fr

Navigation

Liens de recherche

Annonce

#1 Le 24/10/2018, à 10:40

(RESOLU) Bureaux virtuels dynamiques avec "gnome extensions"

#2 Le 24/10/2018, à 10:57

Re : (RESOLU) Bureaux virtuels dynamiques avec "gnome extensions"

#3 Le 24/10/2018, à 11:45

Re : (RESOLU) Bureaux virtuels dynamiques avec "gnome extensions"

#4 Le 24/10/2018, à 12:07

Re : (RESOLU) Bureaux virtuels dynamiques avec "gnome extensions"

#5 Le 24/10/2018, à 12:38

Re : (RESOLU) Bureaux virtuels dynamiques avec "gnome extensions"

#6 Le 24/10/2018, à 13:10

Re : (RESOLU) Bureaux virtuels dynamiques avec "gnome extensions"

#7 Le 24/10/2018, à 13:17

Re : (RESOLU) Bureaux virtuels dynamiques avec "gnome extensions"

#8 Le 24/10/2018, à 14:55

Re : (RESOLU) Bureaux virtuels dynamiques avec "gnome extensions"

#9 Le 24/10/2018, à 15:16

Re : (RESOLU) Bureaux virtuels dynamiques avec "gnome extensions"

#10 Le 24/10/2018, à 15:50

Re : (RESOLU) Bureaux virtuels dynamiques avec "gnome extensions"

#11 Le 24/10/2018, à 16:01

Re : (RESOLU) Bureaux virtuels dynamiques avec "gnome extensions"

#12 Le 24/10/2018, à 16:09

Re : (RESOLU) Bureaux virtuels dynamiques avec "gnome extensions"

#13 Le 24/10/2018, à 16:22

Re : (RESOLU) Bureaux virtuels dynamiques avec "gnome extensions"

#14 Le 24/10/2018, à 17:39

Re : (RESOLU) Bureaux virtuels dynamiques avec "gnome extensions"

#15 Le 24/10/2018, à 18:58

Re : (RESOLU) Bureaux virtuels dynamiques avec "gnome extensions"

#16 Le 25/10/2018, à 09:36

Re : (RESOLU) Bureaux virtuels dynamiques avec "gnome extensions"

#17 Le 25/10/2018, à 12:43

Re : (RESOLU) Bureaux virtuels dynamiques avec "gnome extensions"

#18 Le 25/10/2018, à 13:13

Re : (RESOLU) Bureaux virtuels dynamiques avec "gnome extensions"

#19 Le 25/10/2018, à 14:33

Re : (RESOLU) Bureaux virtuels dynamiques avec "gnome extensions"

#20 Le 23/02/2023, à 16:25

Re : (RESOLU) Bureaux virtuels dynamiques avec "gnome extensions"

Pied de page des forums