Para usar o Pixel Saver na versão 3.10 do Gnome, você precisa de uma versão mais antiga da extensão, conforme observado na página README do github github
% bl0ck_qu0te%-
Primeiro, pegue o tarball da versão 1.3 de sua página de lançamento .
-
Em seguida, extraia o tarball para obter uma pasta
[email protected]
. -
Copie essa pasta no diretório de extensões do shell do Gnome
cp -r [email protected] -t ~/.local/share/gnome-shell/extensions
-
Ativá-lo usando
gnome-shell-extension-tool -e [email protected]
Aqui está a página do Github
do projetoA versão mais recente da extensão pode ser instalada diretamente a partir da página de extensão do Gnome Shell. Aqui está o link dele