Un hack inélégant!
Actuellement, j'utilise un mélange de
xrandr --output HDMI-1 --scale 0.8x0.8
export GDK_SCALE=2
export GDK_DPI_SCALE=0.6
Et définir des polices. Surtout, il est tiré de la section d' Arch Linux sur HiDPI .
Pas élégant du tout ☹
Une vraie solution…
Contexte
Le problème 760 suggère que la branche principale actuelle de awesome prend en charge le DPI personnalisé. Et le problème 1225 est ma tentative de faire les choses correctement.
Installer la masterbranche
sudo dnf uninstall awesome # ← This might unisntall dependencies, re-install those!
sudo dnf install -y xorg-x11-server-Xephyr
cd ~/src/awesome # Or where ever the source is.
rm -r .build*
Vous devez maintenant appliquer ce patch , une fois la reprise terminée:
make CMAKE_ARGS="-DCMAKE_INSTALL_PREFIX:PATH=/usr -DAWESOME_DOC_PATH=/usr/share/doc/awesome -DSYSCONFDIR=/etc " all package
sudo rpm --vv --install build/awesome*rpm
Xephyr :1 &
DISPLAY=:1 awesome -c /etc/xdg/awesome/rc.lua
Si ce qui précède fonctionne, vous devriez y être presque. Sinon, utilisez dnfpour installer awesome.
Presque terminé, juste quelques livres à gauche.
Votre ancienne configuration ne fonctionnera plus, vous devez donc récupérer les fichiers du thème xresources ainsi que le rc.luafichier par défaut . Je vous recommande fortement de faire une sauvegarde de l'ancienne configuration, mais vraiment ce qui pourrait mal se passer⸮
Votre ~/.Xresourcespourrait ressembler à ceci:
Xft.dpi: 156
Xft.antialias: true
Xft.hinting: true
Xft.rgba: rgb
Xft.hintstyle: hintslight
Assurez-vous de désactiver la awesomemise à jour via dnfen ajoutant exclude=awesomeà /etc/dnf/dnf.conf.
Enfin, déconnectez-vous (redémarrage, peu importe) et reconnectez-vous: vous devriez maintenant être prêt.