#1 Le 02/07/2025, à 15:00
- diesel
Extensions
Bonjour,
Après avoir fui gnome shell pendant maintenant quelques années, je me suis décidé à retenter l'expérience en utilisant quelques extensions.
Aujourd'hui, je suis sous budgie avec le dock plank. En gros, ce que je veux : un menu d'applications organisé par types (bureautique, internet, graphique, utilitaires...), des icônes sur le bureau (certains hurleront peut-être au scandale, mais c'est ce que je veux sur MON écran) et un dock pour mes applications les plus courantes.
Après un peu de lecture et de recherches sur internet (en particulier la page "gnome extensions"), j'en ai pré sélectionné 3
- Apps menu,
- desktop-icons,
- dash to plank.
Mais j'ai plusieurs questions :
- Est-ce que ce sont les bonnes extensions ? Par exemple, j'ai cru voir que dash to plank n'était pas compatible wayland,
- sur la page "gnome extensions", il y a plusieurs "versions" de l'extension "desktop-icons". Laquelle est la bonne/meilleure ?
- est-ce que les trois que j'ai pré sélectionnées sont suffisantes ?
Amicalement.
Jean-Marie
Je déteste qu'on cherche à me faire passer pour un con, j'y arrive déjà très bien tout seul.
Le mort, il sait pas qu'il est mort ; c'est pour les autres que c'est dur.................... Pour les cons, c'est pareil.
Hors ligne
#2 Le 04/07/2025, à 10:00
- ft
Re : Extensions
Ah oui tiens je me disais, un profil étonnant dans la section GNOME !! :-)
Tes envies correspondent à certains trucs Ubuntu :
- Dash to dock https://extensions.gnome.org/extension/ … h-to-dock/
- DING https://extensions.gnome.org/extension/ … s-ng-ding/
- Apps menu (extension officielle GNOME) https://extensions.gnome.org/extension/ … ions-menu/
Debian 13 Trixie
Hors ligne
#3 Le 04/07/2025, à 10:07
- ft
Re : Extensions
*Je* trouve ces deux premières bien trop lourdes (+ bug liste longue).
Pour faire un quasi-dock façon GNOME Shell :
https://extensions.gnome.org/extension/ … -overview/
Pour un dock ultra-simple et natif :
https://extensions.gnome.org/extension/ … from-dash/
Pour l'accès rapide aux fichiers :
https://extensions.gnome.org/extension/ … indicator/ (extension officielle GNOME)
Pour une barre des tâches légère :
https://extensions.gnome.org/extension/ … ultralite/
(que j'utilise)
Pour le dash dans le top panel :
https://extensions.gnome.org/extension/ … -to-panel/ (très configurable, recrée le panel etc. etc.)
https://extensions.gnome.org/extension/ … -in-panel/ (ma version en utilisant l'objet dash de GNOME, légère mais peu configurable, quelques options toutefois)
Debian 13 Trixie
Hors ligne
#4 Le 04/07/2025, à 13:03
- diesel
Re : Extensions
Bonjour Ft,
Merci pour tes interventions.
Comme on dit : "il n'y a que les imbéciles qui ne changent pas d'avis". De là à en déduire que je ne suis pas un imbécile, c'est peut-être aller un peu vite en besogne.
Tant que gnome shell ne me proposait pas les fonctions qui m'intéressaient, ce n'était pas pour moi. Maintenant que je peux faire ce que je veux (enfin, j'espère) en y ajoutant des extensions, c'est parfait.
Et je trouve l'architecture modulaire très séduisante.
Une question supplémentaire : les extensions, il vaut mieux les prendre dans les dépôts (si elles y sont ?) ou sur le site des extensions gnome shell ?
Amicalement.
Jean-Marie
Je déteste qu'on cherche à me faire passer pour un con, j'y arrive déjà très bien tout seul.
Le mort, il sait pas qu'il est mort ; c'est pour les autres que c'est dur.................... Pour les cons, c'est pareil.
Hors ligne
#5 Le 04/07/2025, à 13:42
- krodelabestiole
Re : Extensions
sur le site, via une extension de navigateur.
nouveau forum ubuntu-fr on en parle là : refonte du site / nouveau design
profil - sujets récurrents - sources du site
Hors ligne
#6 Le 04/07/2025, à 15:05
- ft
Re : Extensions
ça dépend : pour les extensions non officielles, sur le site en effet (elles seront plus à jour), mais pour les officielles, elles sont liées à la version de GNOME Shell, autant utiliser celles des dépôts (elles ont parfois quelques modifs adaptées à la distribution).
Debian 13 Trixie
Hors ligne
#7 Le 04/07/2025, à 15:31
- diesel
Re : Extensions
A quoi on reconnaît une extension officielle ?
Amicalement.
Jean-Marie
Je déteste qu'on cherche à me faire passer pour un con, j'y arrive déjà très bien tout seul.
Le mort, il sait pas qu'il est mort ; c'est pour les autres que c'est dur.................... Pour les cons, c'est pareil.
Hors ligne
#8 Le 04/07/2025, à 16:09
- krodelabestiole
Re : Extensions
via une extension du navigateur (développée par l'équipe GNOME) on ne peut installer que les extensions compatibles avec sa version de GNOME shell.
et le téléchargement, l'installation et l'activation de l'extension sont aussi simples qu'un simple et unique clic sur un switch en haut à droite de la page qui la décrit.
(ce switch est grisé ou n'existe pas si l'extension n'est pas compatible, et à moins de bricoler manuellement on ne peut pas ni installer ni mettre à jour sur une version incompatible.)
je ne vois vraiment pas pourquoi on aurait besoin s'y prendre autrement ?
nouveau forum ubuntu-fr on en parle là : refonte du site / nouveau design
profil - sujets récurrents - sources du site
Hors ligne
#9 Le 04/07/2025, à 17:51
- ft
Re : Extensions
Parce que tu peux vouloir installer une extension pour tous les utilisateurs, par exemple.
Pour la commodité, je vois pas trop la différence entre activer le connecteur sur le navigateur et installer l'extension ou faire simplement un apt install bidule.
Dans la distribution, il n'y a normalement aussi que des versions compatibles avec le GNOME installé.
@diesel
Les officielles sont toutes ici :
https://gitlab.gnome.org/GNOME/gnome-sh … type=heads
En général c'est Florian Muellner qui est l'auteur (@fmuellner) et l'url renvoie vers l'adresse ci-dessus.
Dernière modification par ft (Le 04/07/2025, à 17:53)
Debian 13 Trixie
Hors ligne
#10 Le 04/07/2025, à 20:59
- krodelabestiole
Re : Extensions
Parce que tu peux vouloir installer une extension pour tous les utilisateurs, par exemple.
dans ce cas oui.
mais perso pour les systèmes multi-utilisateurs je préfère que chacun puisse gérer lui-même son environnement tant qu'à faire.
c'est justement quelque chose que GNOME permet facilement et en profondeur.
(mais je suppose qu'on peut trouver des cas d'usages où ce n'est pas applicable.)
nouveau forum ubuntu-fr on en parle là : refonte du site / nouveau design
profil - sujets récurrents - sources du site
Hors ligne
#11 Le 05/07/2025, à 12:38
- ft
Re : Extensions
Ok mais ce n'est pas parce qu'une extension est installée qu'elle est activée.
Tu installes bien des logiciels qui sont, eux, en général disponibles pour tous les utilisateurs.
Debian 13 Trixie
Hors ligne
#12 Le 05/07/2025, à 14:11
- ylag
Re : Extensions
Bonjour,
Il y a ce paquet .deb dans les depôts pour gérer les extensions Gnome via une interface graphique : Paquet gnome-shell-extension-manager
Aussi cette doc : Extensions GNOME Shell
A+
Hors ligne
#13 Le 05/07/2025, à 14:53
- diesel
Re : Extensions
Merci.
Amicalement.
Jean-Marie
Je déteste qu'on cherche à me faire passer pour un con, j'y arrive déjà très bien tout seul.
Le mort, il sait pas qu'il est mort ; c'est pour les autres que c'est dur.................... Pour les cons, c'est pareil.
Hors ligne
#14 Le 10/07/2025, à 13:46
- diesel
Re : Extensions
bon, ce n'est pas concluant.
Sur mon PC principal sous cinnamon, j'ai ça : Cinnamon et c'est à quoi je veux grosso-modo arriver.
Sur un portable qui me sert pour des essais, tout ce que j'ai réussi à obtenir, c'est ça :
J'ai gnome-tweak-tool installé et gnome-shell-extension-desktop-icons-ng installé.
Au point où j'en suis, je ne sais même pas sortir de la session sans un ctrl-C ni gérer les extensions. Tout ce que j'ai trouvé, c'est un "ajustements" qui ne me permet que de faire des trucs basiques.
Alleï, on va persévérer mais je sens que la route va être un peu longue.
Amicalement.
Jean-Marie
Je déteste qu'on cherche à me faire passer pour un con, j'y arrive déjà très bien tout seul.
Le mort, il sait pas qu'il est mort ; c'est pour les autres que c'est dur.................... Pour les cons, c'est pareil.
Hors ligne
#15 Le 10/07/2025, à 13:51
- diesel
Re : Extensions
Bon, ça va un peu mieux.
Je viens de faire ce que suggérait Ylag en #12 et je viens d'activer desktop-icons.
Je vais continuer et je vous tiens au courant.
Amicalement.
Jean-Marie
Je déteste qu'on cherche à me faire passer pour un con, j'y arrive déjà très bien tout seul.
Le mort, il sait pas qu'il est mort ; c'est pour les autres que c'est dur.................... Pour les cons, c'est pareil.
Hors ligne
#16 Le 10/07/2025, à 16:35
- krodelabestiole
Re : Extensions
ça fait beaucoup de pages sur le même sujet :
https://doc.ubuntu-fr.org/personnalisat … iser_gnome
https://doc.ubuntu-fr.org/extensions-gnome
https://doc.ubuntu-fr.org/tutoriel/pers … extensions
pour "reproduire" cinnamon (ou windows...) je te conseille de commencer par dash to panel et arcmenu, comme expliqué là :
https://forum.ubuntu-fr.org/viewtopic.p … #p22696067
d'une manière général pour personnaliser GNOME on commence souvent par dash to panel pour alle vers windows ou dash to dock pour aller vers macOS.
il y a aussi d'autres orientations, par ex. material shell que j'aimais beaucoup pour tu tiling desktop et sûrement d'autres pour du scrolling desktop...
nouveau forum ubuntu-fr on en parle là : refonte du site / nouveau design
profil - sujets récurrents - sources du site
Hors ligne
#17 Le 10/07/2025, à 17:39
- diesel
Re : Extensions
Il y a un truc que je ne comprends toujours pas.
Autant je conçois parfaitement qu'on fasse un "noyau" minimum qui puisse être complété par des modules (ou extensions), et même je trouve ça très bien ; autant je vois pas pourquoi le projet gnome shell et/ou les distributions qui le proposent n'incluent pas dans le système de base gnome-shell-extension-manager accessible en un simple clic (et c'est aussi vrai de quelques extensions clés).
Un gnome "de base", c'est proprement inexploitable et c'est de nature à fait fuir quasiment tout le monde (à commencer par moi qui ai quand-même commencé à TRAVAILLER sur des systèmes UNIX like en 1980. Le fichier de configuration ou la ligne de commande, ça ne me fait donc pas peur et pourtant...).
Pourquoi n'y a-t-il pas , accessible en un clic sur un utilitaire qui va bien , un sélecteur : "saveur windows", "saveur mac", "saveur cinnamon", "saveur gnome2"... qui configure tout ce qu'il faut pour arriver au résultat attendu ?
Amicalement.
Jean-Marie
Je déteste qu'on cherche à me faire passer pour un con, j'y arrive déjà très bien tout seul.
Le mort, il sait pas qu'il est mort ; c'est pour les autres que c'est dur.................... Pour les cons, c'est pareil.
Hors ligne
#18 Le 10/07/2025, à 17:48
- krodelabestiole
Re : Extensions
Un gnome "de base", c'est proprement inexploitable
ça c'est un avis personnel, que les ergonomes de GNOME ne partagent visiblement pas.
Pourquoi n'y a-t-il pas , accessible en un clic sur un utilitaire qui va bien , un sélecteur : "saveur windows", "saveur mac", "saveur cinnamon", "saveur gnome2"... qui configure tout ce qu'il faut pour arriver au résultat attendu ?
parce que les ergonomes de GNOME débattent et choisissent de chaque élément de l'interface longuement et précisément.
si on souhaite casser toute cette réflexion pour retrouver ses habitudes (soient-elles objectivement mauvaises) héritées d'autres systèmes parfois moins peaufiné, libre à nous, mais ça me semble sensé que ce ne soit pas une pratique particulièrement promue par l'équipe de GNOME.
nouveau forum ubuntu-fr on en parle là : refonte du site / nouveau design
profil - sujets récurrents - sources du site
Hors ligne
#19 Le 10/07/2025, à 17:59
- ylag
Re : Extensions
Bonjour,
Un gnome "de base", c'est proprement inexploitable
+1 !
Totalement d'accord !
L'idée d'un « Bureau » vide, où l'on ne peut rien mettre me semble vraiment illogique ...
A+
Hors ligne
#20 Le 10/07/2025, à 18:06
- krodelabestiole
Re : Extensions
ce que je trouve plus pénible perso c'est de forcer adwaita (beaucoup de devs et de projets se détournent de GNOME à cause de ça),
et (c'est un peu lié) de devoir installer gnome tweaks plutôt que d'avoir les paramètres de styles directement accessibles dans les Paramètres -> menu Apparences (ce qui me paraîtrait assez logique !).
nouveau forum ubuntu-fr on en parle là : refonte du site / nouveau design
profil - sujets récurrents - sources du site
Hors ligne
#21 Le 10/07/2025, à 18:10
- krodelabestiole
Re : Extensions
L'idée d'un « Bureau » vide, où l'on ne peut rien mettre me semble vraiment illogique ...
c'est un fond d'écran quoi...
et pourquoi on y mettrait un gestionnaire de fichiers ? perso je préfère utiliser un vrai gestionnaire, celui de mon choix quand j'en ai besoin, que de gâcher systématiquement des ressources pour une interface qui m'invite à mettre le bazar dans mon espace de stockage !
je pense que si macOS et Windows étaient nés quelques années plus tard, on aurait un explorateur internet à la place comme bureau, affichant respectivement le site d'apple et celui de bing par défaut... et l'affichage du contenu d'un répertoire sur le bureau ne manquerait à personne ! (et certains réclameraient probablement un navigateur)
nouveau forum ubuntu-fr on en parle là : refonte du site / nouveau design
profil - sujets récurrents - sources du site
Hors ligne
#22 Le 10/07/2025, à 18:31
- diesel
Re : Extensions
Aleï, une petite dernière et je promets d'arrêter le débat sur ce fil.
Puisque tu abordes le sujet de l'efficacité.
Si je veux ouvrir un fichier sur lequel je travaille régulièrement (donc que j'ai mis sur le bureau), UN clic (et un seul) et il se retrouve prêt à être utilisé. Si je veux ouvrir une application que j'utilise régulièrement (un modeleur 3D ou un traitement de texte ou un logiciel de montage vidéo, enfin, n'importe lequel que j'utilise régulièrement), UN clic et un seul et c'est lancé.
Les ressources de la machine, je m'en br... Ce qui m'importe, c'est mon efficacité à moi devant ma machine.
Alors, si avec un gnome de base tu sais faire aussi efficace (je rappelle : UN clic), alors fais-moi signe.
Alors, qu'on soit bien d'accord, je n'ai pas l'intention de travailler avec la même efficacité avec toutes les applications de la création ou avec tous les fichiers présents sur mon SSD ou sur mon disque de sauvegarde, mais pour les quelques-uns que j'ai mis en avant, je veux que ce soit instantané.
Cela dit, je te remercie chaleureusement pour toutes les informations que tu m'as données qui vont probablement me permettre de passer le premier cap et d'arriver là où je veux. Et si ce n'est pas l'endroit ou veulent être les développeurs de gnome shell, ce n'est pas un problème. Je ne veux pas leur imposer, ma manière de travailler (mais je ne suis pas prêt à accepter la leur).
Amicalement.
Jean-Marie
P.S. Et à propos de #20 ; Le style (les sons, la couleur des fenêtres, les bords arrondis ou carrés...) je m'en br... Ce qui compte, ce sont les fonctionnalités offertes par l'interface homme-machine.
Dernière modification par diesel (Le 10/07/2025, à 18:37)
Je déteste qu'on cherche à me faire passer pour un con, j'y arrive déjà très bien tout seul.
Le mort, il sait pas qu'il est mort ; c'est pour les autres que c'est dur.................... Pour les cons, c'est pareil.
Hors ligne
#23 Le 10/07/2025, à 19:09
- iznobe
Re : Extensions
Bonjour , de mon coté j ' avais deja exprimée la meme opinion dans d' autre discussion :
Un gnome "de base", c'est proprement inexploitable
Ce que je trouve proprement illogique , c' est de proposer un bureau ( peu importe la philosophie ) qui ne permet pas de personnalisé directement ce bureau dans une distribution de style " tout en un " . c' est un comble de devoir installer des extensions de personnalisation du bureau pour gnome ... alors qu ' avec les autres bureau , il y a tout de même de quoi faire un minimum de base . Apres si on veut pousser plus loin , je dis pas .
Quand a :
accessible en un clic sur un utilitaire qui va bien , un sélecteur : "saveur windows", "saveur mac", "saveur cinnamon", "saveur gnome2"
je trouve plutot normal que des devs ont autre chose à a faire que reproduire tel ou tel environnement graphique .
Mais rien n ' empeche de mettre en place un solution de la sorte a des utilisateurs aguerris ; surtout qu ' il existe probablement deja des themes de la sorte pour chaque Desktop Environnement .
retour COMPLET et utilisable de commande | script montage partitions
MSI Z490A-pro , i7 10700 , 32 GB RAM .
Hors ligne
#24 Hier à 00:33
- diesel
Re : Extensions
c' est un comble de devoir installer des extensions de personnalisation du bureau pour gnome ..
Non.
Ce qui est un comble, c'est que l'outil permettant d'installer et configurer les extensions ne soit pas installé et disponible de base.
Après, que le bureau soit pensé comme un système basique (un core, comme diraient les anglo-saxons) étendu par des extensions, ça me semble très bien.
Amicalement.
Jean-Marie
Je déteste qu'on cherche à me faire passer pour un con, j'y arrive déjà très bien tout seul.
Le mort, il sait pas qu'il est mort ; c'est pour les autres que c'est dur.................... Pour les cons, c'est pareil.
Hors ligne
#25 Hier à 00:41
- krodelabestiole
Re : Extensions
quand on consule le site qui propose les extensions de gnome il y a un lien vers l'extension du navigateur qui permet de les installer (fonction du navigateur qu'on utilise), dans un gros cadre en haut de la page. c'est pensé "web", c'est moins encombrant et moins de boulot qu'un outil dédié, et ça marche au moins aussi bien !
ça permet à quelqu'un de proposer un lien et en un clic d'installer la version qui correspond à sa version de gnome shell, sans à avoir à gérer de client, de dépôt ou quoi que ce soit.
nouveau forum ubuntu-fr on en parle là : refonte du site / nouveau design
profil - sujets récurrents - sources du site
Hors ligne
- Forum
- » GNOME
- » Extensions