Dal punto di vista tecnico, oggi tutti i sistemi operativi sono portati ad essere impostati per il full hd; questo significa che su un monitor 4k lo schermo si vede piccolo.
Windows permette di definire la dimensione del fattore di ridmensionamento nelle impostazioni, in linux ci sono dei piccoli aggiustamenti da fare.
Incominciamo col dire che se premete ctrl+alt+f1 su un qualsiasi linux con un monitor 4k, il font non si vede quasi. Per ovviare bisogna aumentare il dpi dei fonts.
Per farlo, non bisogna modificare nessun file di sistema, è sufficiente loggarsi da terminale come root e digitare dpkg-reconfigure console-setup e seguire le impostazioni a video. Bisogna lasciare tutto come è e selezionare Terminus quando viene chiesto il tipo di font (è il più grande che c'è). A questo punto bisogna selezionare la dimensione. Una volta fatto il terminale verrà ridimensionato in automatico e le impostazioni saranno permanenti.
Adesso, bisogna impostare il fattore di ridimensionamento per l'interfaccia grafica, x.org.
Tutti consigliano di creare un file chiamato .Xresources nella home directory dell'utente, ma così le impostazioni sono a livello di utente e non globali.
Ho trovato il file da modificare per rendere le impostazioni di sistema ed è: /etc/X11/Xresources/x11-common. La sintassi è esattamente la stessa.
Per impostare il dpi sul mio monitor ho scritto: Xft.dpi: 163 alla fine del file.
In generale funziona, però cinnamon ha la brutta abitudine di ignorare quest'ultima impostazione e resetta tutto a 96dpi, mostrando tutto piccolo, piccolo, piccolo.
Per ovviare al problema bisogna settare il fattore di ridimensionamento secondo le opzioni di cinnamon, basta aprire il terminale e digitare gsettings set org.cinnamon.desktop.interface scaling-factor 2 per raddoppiare il fattore di ridimensionamento. Windows supporta anche valori decimali, purtroppo cinnamon no. Se usate gnome, che è la stessa cosa, cambia solo il nome, bisogna digitare gsettings set org.gnome.desktop.interface scaling-factor 2.
Già così dovrebbe bastare, perché il terminale, xorg e le gtk sono impostate, se avete installato XTerm o UXTerm, anche questi seguono le loro regole, per cui è sufficiente aprire di nuovo il file x11-common ed aggiungere sempre alla fine del file le due righe per impostare in xterm il font terminus e la dimensione 12:
XTermfaceName:Terminus
XTerm*faceSize:12
Se avete anche UXTerm, bisogna semplicemente aggiungere di nuovo queste due righe, inserendo la lettera U iniziale.
Con pochissimo sbattimento, in questo modo, riusciamo ad impostare praticamente tutto Debian per il 4k.
Dove sta scritto che debian è difficile da usare?
