make-debs.sh: use ID instead of NAME for workdir

NAME is "for the user", and as such, Debian's is "Debian GNU/Linux",
which isn't friendly for making a pathname.  ID is more like what
we want (lowercase, no spaces, limited special characters),
in the two cases we care most about, 'ubuntu' and 'debian'.

Signed-off-by: Dan Mick <dan.mick@redhat.com>

diff --git a/make-debs.sh b/make-debs.sh
index 93f5e1120c8fde677fbd892686f598ce0672f9c9..21336d2b481567075c0543d3cb0cafa2e71e3073 100755 (executable)
--- a/make-debs.sh
+++ b/make-debs.sh
@@ -18,7 +18,7 @@ set -xe
 
 . /etc/os-release
 base=${1:-/tmp/release}
-releasedir=$base/$NAME/WORKDIR
+releasedir=$base/$ID/WORKDIR
 rm -fr $(dirname $releasedir)
 
 # git describe provides a version that is