Sur Debian 11 Bullseye avec gnome-shell 3.38 j’ai galéré avec l’extension pixel-saver voici mon pense-bête
