From d6f023850c7f50ff486a1841a76860f1c75150a9 Mon Sep 17 00:00:00 2001
From: Dan Mick <dan.mick@redhat.com>
Date: Mon, 6 Oct 2025 20:50:17 -0700
Subject: [PATCH] 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>
---
 make-debs.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/make-debs.sh b/make-debs.sh
index 93f5e1120c8fd..21336d2b48156 100755
--- 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
-- 
2.39.5