Hi, David Baron wrote: > what should it be for Debian Sid? On my Sid VM i get: $ cat /etc/os-release PRETTY_NAME="Debian GNU/Linux stretch/sid" NAME="Debian GNU/Linux" ID=debian HOME_URL="https://www.debian.org/"; SUPPORT_URL="https://www.debian.org/support/"; BUG_REPORT_URL="https://bugs.debian.org/"; $ ls -l /etc/os-release lrwxrwxrwx 1 root root 21 Aug 18 12:06 /etc/os-release -> ../usr/lib/os-release Have a nice day :) Thomas