N'oubliez pas d'accueillir les nouveaux membres par un petit mot dans la rubrique « Nos membres se présentent »  :)
Chers membres, c'est sympa quand quand nous accueillons les "p'tits nouveaux" chaleureusement comme il se doit. 
 CHERS MEMBRES VISITEURS
Notre forum ayant subi une intervention extérieure à notre volonté nous avons été obligé de restaurer celui ci à une date antérieure au 5 Juillet 2026.

Tout inscrits qui auraient été validés chez nous depuis début juillet 2026 et qui ne peuvent donc plus se connecter car n'étant pas répertoriés dans la base de données actuellement restaurer sont priés de refaire une inscription sur le forum.
Cette inscription sera bien entendu validée immédiatement par nos soins.


Si vous aviez posté des sujets ou répondu dans les sujets du forum, il vous faudra bien entendu soit réécrire vos sujets de présentations 

Nous vous présentons toutes nos excuses pour le désagrément subi et espérons vous retrouver au plus vite dans notre petite communauté sur zorinos.fr


Il reste encore un ou deux détails que je dois régler mais ce sera un peu plus tard.

Roger

Extension Manager

Répondre
Avatar du membre
jlb
Membre émérite
Membre émérite

Membre super posteur
Messages : 4222
Enregistré(e) le : mer. 11 avr. 2018 08:31
Localisation : Hautes-Pyrénées (65)
Nb de « J’aime » donnés: 544
Nb de « J’aime » reçus: 2230
A remercié : 799 fois
A été remercié(e) : 1243 fois

Extension Manager

Message n° 1


Message par jlb »

Avec "gnome-tweaks", l'autre application qui devrait absolument être fournie avec Zorin est "Extension Manager".

Elle permet d'installer facilement plusieurs dizaines d'extensions couvrant toutes sortes de domaines (1) et elle vous réconciliera avec les "GNOME Shell Extensions" si vous avez déjà essayé d'en installer une à partir de votre navigateur. 😶


Certaines n'ont pas vraiment d'intérêt, mais d'autres apportent un vrai plus en matière d'équipement et de configuration de votre installation. (2)  

On trouve ainsi une vraie application météo avec prévisions à cinq jours :

openweather.jpg


... ou un dock pour faire mieux que la disposition gratuite de "Zorin Appearance" :

gnome.jpg



Pour une fois, nous ne passerons pas par un "sudo apt update && sudo apt install" pour l'installer : la version Flatpak donne accès à toutes les extensions disponibles alors que celle du dépôt Ubuntu est très limitée.

Comme la gestion du format Flatpak est pré-activée, il suffit d'entrer cette ligne dans le terminal (CTRL Alt t) et de laisser faire pour installer "Extension Manager" :
 

Code : Tout sélectionner

flatpak install flathub com.mattjakeman.ExtensionManager


Tapez "ex" dans la boîte de recherche du menu principal pour retrouver votre nouveau gestionnaire d'extensions GNOME.




               
 (1) La version Core utilise d'ailleurs des extensions maison de ce type pour customiser l'apparence de GNOME...

 (2) Choisissez le tri par nombre de téléchargements pour vous aider à trouver les plus intéressantes — malgré quelques progrès, la traduction reste perfectible : 🤭

extension-manager.jpg
extension-manager.jpg (100.86 Kio) Vu 2766 fois
4 J'aime ce message
 
Répondre

Créer un compte ou se connecter pour rejoindre la discussion

Vous devez être membre pour pouvoir répondre

Créer votre compte

Inscrivez-vous pour rejoindre notre communauté.
Participez aux discussions !
Créez vos propres sujets !

S’enregistrer

Membre déjà inscrit