How to log on to Linux using a Yubikey FIDO U2F

Posted on Wednesday, 07 March 2018 in IT • Tagged with linux, u2f, pam

This post explains how to set up a Yubikey (or another FIDO U2F device) as a PAM authenticator on your Linux system.


Continue reading

The hardly ever ending story of Bumblebee and my HDMI output

Posted on Sunday, 21 January 2018 in IT • Tagged with linux, bumblebee

This is the story of how I eventually managed to make my HDMI output work under Linux in a rather satisfactory way.


Continue reading

Upgrading Raspbian from jessie to stretch

Posted on Thursday, 24 August 2017 in IT • Tagged with raspberry-pi, linux, raspbian

Upgrading my Raspbian from 8 (jessie) to 9 (stretch) proved quite smooth. Here are the details of what I did.


Continue reading

Where is my log file content?

Posted on Tuesday, 04 October 2016 in IT • Tagged with linux, syslog-ng, systemd

Why did all the content from my usual Linux system log files disappear? I tell you where it was.


Continue reading

ssh_config, the admin's friend

Posted on Thursday, 30 June 2016 in IT • Tagged with linux, ssh

Remembering the SSH parameters of a number of devices can get really hard. Thankfully, there is a very helpful config file for that.


Continue reading