22.04 : extensions gnome-shell pour tous les utilisateurs ?

Coeur Noir · Le 10/06/2022, à 00:58

Hello,

Quand un utilisateur installe une extension gnome-shell depuis sa session, ça la fourre dans ~/.local/share/gnome-shell/extensions/ assez logiquement.

Si j'installe « manuellement » des extensions dans /usr/share/gnome-shell/extensions/ ça suffit-il à les rendre disponibles et utilisables par tous les utilisateurs du système ?
C'est là que se trouvent déjà DiNG, Ubuntu-dock et Ubuntu-appindicator.

Inconvénient(s) d'une telle méthode ( éventuelle mises à jour des extensions ) ?

Dernière modification par Coeur Noir (Le 14/06/2022, à 23:46)

Coeur Noir · Le 14/06/2022, à 17:37

Bon, faute d'autre inspiration, j'ai créé un dossier

/media/DATA/Bibliothèque Extensions Gnome

avec droits

drwxrws--- 10 root       users       4096 juin  14 05:01 'Bibliothèque Extensions Gnome'

et dans chaque $HOME

/home/$USER/.local/share/gnome-shell/extensions

est un lien symbolique vers la « Bibliothèque »

lrwxrwxrwx  1 $USER $USER   43 juin  11 04:29 extensions -> '/media/DATA/Bibliothèque Extensions Gnome/'

Pour l'instant ça fait le taf ( seulement 3 utilisateurs, ça évite déjà les duplications ) à voir à long terme.

Coeur Noir · Le 25/07/2022, à 14:06

La seule « bizarrerie » constatée c'est qu'à l'installation d'une extension ( via l'utilitaire Extensions Manager ) les éléments installés dans ma « Bibliothèque Extensions Gnome » conservent leurs droits et permissions d'origine, ça qui me contraint à les modifier manuellement, essentiellement à cause du fichier metadata.json qui de base ne donne des droits qu'à l'$USER ( rien pour le groupe, rien pour les autres ).

Coeur Noir · Le 05/10/2022, à 22:46

…donc : comment je fais pour que les extensions installées dans ce dossier commun aux membres du groupe users finissent avec le groupe users comme propriétaires et droits rwXrwXr-x ?

Bizaremment le bit sgid sur le dossier ( et tous les dossiers contenus ) ne suffit pas :

drwxrws--- 10 root       users       4096 juin  14 05:01 'Bibliothèque Extensions Gnome'

Est-ce un cas d'usage pour le bit suid ? À priori c'est une source de confiance, mais j'suis pas chaud pour le bit suid

Coeur Noir · Le 23/11/2022, à 22:52

Quelqu'un sait-il pourquoi les extensions gnome-shell s'installent « forcément » avec de tels droits ?

inbox · Le 24/11/2022, à 00:43

Salut,

J'ai trouvé cette explication sur gnome.org pour permettre l'utilisation d'extensions communes à tous. Tu remarqueras, qu'il y a une contrainte d'utilisation.

A+

Dernière modification par inbox (Le 24/11/2022, à 00:44)

Coeur Noir · Le 25/11/2022, à 03:50

Oh merci pour cette bonne source !

Mmm… ouais c'est davantage contraignant que ce que je fais aujourd'hui, finalement.
Là si j'ai bien compris, ça impose à tous les utilisateurs les mêmes extensions ( et je vois bien pourquoi on peut vouloir ça. )

Moi c'est presque l'inverse que je veux : à partir du moment où un utilisateur installe une extension, elle est potentiellement disponibles aux autres, et surtout elle n'est « installée » qu'une fois, qu'il y ait un ou plusieurs utilisateurs qui s'en servent, tout en laissant à chacun la liberté d'utiliser ce qui lui chante.

Bon, je continuerai à « rectifier » les droits et permissions dans ce dossier commun…

Ubuntu-fr

Navigation

Liens de recherche

Annonce

#1 Le 10/06/2022, à 00:58

22.04 : extensions gnome-shell pour tous les utilisateurs ?

#2 Le 14/06/2022, à 17:37

Re : 22.04 : extensions gnome-shell pour tous les utilisateurs ?

#3 Le 25/07/2022, à 14:06

Re : 22.04 : extensions gnome-shell pour tous les utilisateurs ?

#4 Le 05/10/2022, à 22:46

Re : 22.04 : extensions gnome-shell pour tous les utilisateurs ?

#5 Le 23/11/2022, à 22:52

Re : 22.04 : extensions gnome-shell pour tous les utilisateurs ?

#6 Le 24/11/2022, à 00:43

Re : 22.04 : extensions gnome-shell pour tous les utilisateurs ?

#7 Le 25/11/2022, à 03:50

Re : 22.04 : extensions gnome-shell pour tous les utilisateurs ?

Pied de page des forums