Scalare lo schermo su Debian 12.10

Purtroppo GNOME, nel suo pannello delle impostazioni relative allo schermo, non ci da la possibilità del ridimensionamento frazionario, ma solo 100%, 200% ….. Quindi, come possiamo ottenere tale ridimensionamento?

Da terminale:

sudo gsettings set org.gnome.mutter experimental-features “[‘scale-monitor-framebuffer’]”

poi, sempre da terminale:

sudo reboot

Al riavvio, nelle impostazioni, alla voce “scala” avremo una scala frazionaria rispetto a prima.

Fonti: https://github.com/puxplaying/mutter-x11-scaling