Debian Debian-France Debian-Facile Debian-fr.org Debian-fr.xyz Debian ? Communautés

Debian-facile

Bienvenue sur Debian-Facile, site d'aide pour les nouveaux utilisateurs de Debian.

Vous n'êtes pas identifié(e).

#1 19-07-2022 19:20:53

fraiddo
Membre
Inscription : 02-03-2008

Préférences du dock (gnome 3.38)

Bonjour,

Sous Debian 11 GNOME 3.38 un .override des options de l'extension dash-to-dock n'est pas pris en compte dans /usr/share/glib-2.0/schemas dans le cas d'une customisation par CLI, normal et si oui comment contourner le problème ? Avec Ubuntu 22.04 GNOME 42 les .override sont bien pris en compte par exemple.

edit : il faut recompiler un gschema XML de l'extension elle-même en y mettant de nouvelles options par défaut.

a+

Dernière modification par fraiddo (21-07-2022 18:19:04)


---

Hors ligne

Pied de page des forums