Outils pour utilisateurs

Outils du site


gnome

Différences

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

Lien vers cette vue comparative

Both sides previous revision Révision précédente
gnome [2019/11/01 00:44]
g.rnd@free.fr [Utilisation d'un dock]
gnome [2019/11/01 17:38] (Version actuelle)
g.rnd@free.fr [Utilisation d'un dock]
Ligne 314: Ligne 314:
 === Configuration en ligne de commande === === Configuration en ligne de commande ===
    
-Utiliser **dconf-editor** (//​dconf-tools//​ à installer). ​Cliquer ​sur **org->​gnome->​shell->​extensions->​dash-to-dock**+Utiliser **dconf-editor** (//​dconf-tools//​ à installer). ​Naviguer ​sur les menus **dconf-editor-> ​org->​gnome->​shell->​extensions->​dash-to-dock**
  
 Sinon, lancer en ligne de commande: Sinon, lancer en ligne de commande:
gnome.txt · Dernière modification: 2019/11/01 17:38 par g.rnd@free.fr