Différences

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

--- gnome_shell [2019/12/28 00:14] – 84.6.141.64
+++ gnome_shell [2023/05/08 01:41] (Version actuelle) – modification externe 127.0.0.1
@@ Ligne 4: / Ligne 4: @@
 \\
 ===extensions===
 dépot : https://extensions.gnome.org/
 installées : https://extensions.gnome.org/local/
+liste extensions usuelles :
+Alt Tab Workspace by kwalo
+Animation Tweaks by Selenium_H12345
+Coverflow Alt-Tab by p91paul
+Dash to Dock by michele_g
+Desktop Icons by rastersoft
+Gnome-Shutdown Button by kirby_33
+Impatience by gfxmonk
+Lock Keys by kazimieras.vaina
+Remove Alt+Tab Delay by tetrafox
+Services Systemd by petres
+Tray Icons: Reloaded by MartinPL
+User Themes by fmuellner
 \\
-===supprimer extension root===
+===emplacements==
--> http://forums.fedora-fr.org/viewtopic.php?pid=507997#p507997
+root : ''/usr/share/gnome-shell/extensions''
-virer les répertoires dans ''/usr/share/gnome-shell/extensions''
+user : ''~/.local/share/gnome-shell/extensions''
 \\
 ===recharger gnome sans perdre la session en cours===