gregor herrmann at 2015-04-30T21:39:53Z
% grep PRETTY_NAME /etc/os-release
PRETTY_NAME="Debian GNU/Linux stretch/sid"
