IntelliJ Idea application menu entry for xubuntu

Posted on Thu 25 May 2017 in tech • Tagged with xubuntu, linux

Assuming intellij has been installed to /opt/ here's how to create an application menu entry …

Continue reading

Extend a VirtualBox guest harddisk

Posted on Tue 18 April 2017 in tech • Tagged with windows, linux

I use VirtualBox for the rare cases when I need a Windows OS. The latest …

Continue reading

DD-WRT (kong) on Netgear R7000 and Fiber7 IPv6 configuration

Posted on Sat 21 January 2017 in tech • Tagged with dd-wrt, fiber7

I'm a fan of Netgear's R7000 hardware. Not so much of the software. Since I …

Continue reading

Cups printers do not show up in Firefox (Arch)

Posted on Mon 02 January 2017 in tech • Tagged with arch, linux

If your CUPS printers do not show up in the Firefox printing dialog (but they …

Continue reading

USB Keyboard not working at boot (between GRUB and disk decryption)

Posted on Sun 18 December 2016 in tech • Tagged with arch, linux

On my thinkpad I have an encrypted Arch installation setup similarly to my chromebook setup …

Continue reading

Gitlab CE setup

Posted on Wed 02 November 2016 in tech • Tagged with nginx, gitlab, docker

The latest addition to my server at home is a Gitlab Community Edition instance. I …

Continue reading

Ugly fonts in IntelliJ IDEA on Arch Linux

Posted on Tue 11 October 2016 in tech • Tagged with intellij, arch


intellij-jdk is now marked orphaned in AUR. I therefore stopped using this package and …

Continue reading

Atom editor notes

Posted on Thu 11 August 2016 in tech • Tagged with editor, atom, python

Some notes on my atom editor setup. Will be expanded throughout time.


apm install …

Continue reading

Encrypted Ubuntu 14.04 LTS Installation (RAID, LLVM, LUKS)

Posted on Thu 07 April 2016 in tech • Tagged with linux, ubuntu

Google drive notes I took when setting up my encrypted Ubuntu 14.04 LTS home server (RAID, LLVM and LUKS).

Continue reading

Guided Static Analysis slides

Posted on Thu 22 October 2015 in tech • Tagged with static analysis, ethz, seminar, talk

Checkout the slides of my presentation about the Guided Static Analysis paper by Denis Gopan and Thomas Repos.

Continue reading