Blog

Linux

4 blog posts

Posted on Jun 2, 2018 by Alexej Bondarenko

In some cases it is not enough to detect a keyboard layout in Linux. For instance, using a German Mac Keyboard has switched key mappings for "^" and "<". In this blog post we will show how to switch those keys to it's correct behavior.

Posted on May 20, 2018 by Alexej Bondarenko

With stacks ghc version 8.2.2 it is not easy to install ghc-mod with stack. The reason are not matched dependencies. With a small trick we can install ghc-mod by building it ourselves. In this blog post you will learn how to do so.

Posted on Jul 12, 2017 by Alexej Bondarenko

If you have bought the Matebook X (which comes with the Windows OS) and you maybe plan to install Linux, you will ask yourself how to do this. In this blog post you will learn how to enter the BIOS and the boot menu.

Posted on Jun 25, 2017 by Alexej Bondarenko

When you use Ubuntu for a while you will recognise that it is asking you for several security updates from time to time. This can be a bit annoying since they appear pretty frequently. In this blog post we will configure ubuntu to silently install those updates.