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>
(cherry picked from commit d6f023850c7f50ff486a1841a76860f1c75150a9)

diff --git a/make-debs.sh b/make-debs.sh
index ff4f4c39321b7e3e4d1734081b18ded39ed1f25d..d49deefabfae07dba262ef80c95103889fcc371a 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