From: Dan Mick Date: Tue, 7 Oct 2025 03:50:17 +0000 (-0700) Subject: make-debs.sh: use ID instead of NAME for workdir X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=d6f023850c7f50ff486a1841a76860f1c75150a9;p=ceph.git 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 --- diff --git a/make-debs.sh b/make-debs.sh index 93f5e1120c8..21336d2b481 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