Bof.

No theme, no regular posting.

© 2014-2018. Raphaël Rigo CC-BY-SA 4.0

About.

High DPI screen on Linux.

I recently received a high-DPI screen at work (24” ultra HD). While the quality is excellent, a few problems arise as everything is very small by default.

As I use it on my laptop, I had to find an easy way to switch between different settings :

First, to handle the display configuration I’m using autorandr which is awesome.

Then, I use a little bash script that will change the needed settings :

But some things still won’t work :

You can find my ugly shell script here.