Another way to deal with this issue would be to extract the relevant information from /etc/os-release in the chroot. It exports $NAME and $PRETTY_NAME (and $VERSION for released versions of products).
Cheers, -- Raphaël Hertzog ◈ Debian Developer Get the Debian Administrator's Handbook: → http://debian-handbook.info/get/ -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
