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>
This commit is contained in:
@@ -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
|
||||
|
||||
Reference in New Issue
Block a user