1PRETTY_NAME="Debian GNU/Linux 9 (stretch)"
2NAME="Debian GNU/Linux"
3VERSION_ID="9"
4VERSION="9 (stretch)"
5ID=debian
6HOME_URL="https://www.debian.org/"
7SUPPORT_URL="https://www.debian.org/support"
8BUG_REPORT_URL="https://bugs.debian.org/"
9