Le mercredi 5 août 2015, 14:34:00 claude poupelier a écrit : > Bonjour,
’jour, >[…] > > https://wiki.archlinux.org/index.php/GNOME#XkbOptions_keyboard_options >[…] > Et la je nage (brasse coulée)... Si c’est l’anglais qui coince, il y est dit qu’il faut utiliser dconf-editor (paquet du même nom) et d’y chercher la clef org.gnome.desktop.input-sources.xkb-options (dconf-editor n’a pas l’air de faire partie des dépendances de Gnome, donc il y a sûrement d’autres outils pour faire la même chose (ou alors Gnome ne veut vraiment pas que les utilisateurs modifient les options ;o) mais bon, y a pas l’air d’y avoir foule de Gnomistes dans le coin…) > > (Ce qui amène à se demander comment elle est arrivée là > > cette option… > > Je viens de vérifier: la cession que j'ai ouverte à mon petit > fils (pour les jeux) n'est pas concernée par ce phénomène. Je > vais donc tenter de comparer ma config à la sienne. > Une piste? Ça veut dire que c’est local à l’utilisateur, donc dans ta session Gnome (Cf. plus haut) ou dans un truc démarré par la session : ~/.profile ou ~/.bash_profile (qui ne devraient pas être sourcés mais qui le sont encore souvent), ~/.xsessionrc ou un fichier dans ~/.config/autostart . -- Sylvain Sauvage -- Lisez la FAQ de la liste avant de poser une question : http://wiki.debian.org/fr/FrenchLists Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe" vers [email protected] En cas de soucis, contactez EN ANGLAIS [email protected] Archive: https://lists.debian.org/2599090.9NpARmuECq@earendil
