Ubuntu-fr

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.

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

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

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.

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

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

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.

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

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

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

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

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+

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.