Bon, ça ne change rien :
Dans dconf j'ai :
/org/gnome/shell/disabled-extensions []
/org/gnome/shell/enabled-extensions
['clipboard-indicator@tudmotu.com', 'cpufreq@konkor', 'dash-to-dock@micxgx.gmail.com', 'emoji-selector@maestroschan.fr', 'Move_Clock@rmy.pobox.com', 'gsconnect@andyholmes.github.io',
'appindicatorsupport@rgcjonas.gmail.com', 'set-columns@maestroschan.fr', 'no-title-bar@jonaspoehler.de', 'sensory-perception@HarlemSquirrel.github.io', 'ShellTile@emasab.it',
status-area-horizontal-spacing@mathematical.coffee.gmail.com', 'syncthingicon@jay.strict@posteo.de', 'user-theme@gnome-shell-extensions.gcampax.github.com']
Mais si j'active une extension, ça ne fait strictement rien - son icône n'apparaît pas dans la barre du haut - et lorsque je recharge la page des extensions, elles redeviennent désactivées (sauf Desktop Icons)... 😐
