Outils pour utilisateurs

Outils du site


extensions-gnome

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentesRévision précédente
Prochaine révision
Révision précédente
extensions-gnome [2022/04/17 12:42] – [Extensions pour GNOME] manuextensions-gnome [2024/07/06 18:44] (Version actuelle) – modification externe 127.0.0.1
Ligne 1: Ligne 1:
 ====== Extensions pour GNOME ====== ====== Extensions pour GNOME ======
- 
-<note important>À compléter</note> 
  
 GNOME est un DE (Desktop Environnement = Environnement de bureau) pour les distributions GNU/Linux est est personnalisable via un système d'extensions (trouvables ici : https://extensions.gnome.org/) GNOME est un DE (Desktop Environnement = Environnement de bureau) pour les distributions GNU/Linux est est personnalisable via un système d'extensions (trouvables ici : https://extensions.gnome.org/)
extensions-gnome.1650192157.txt.gz · Dernière modification : 2022/04/17 12:42 de manu