diff options
| author | Erich Eckner <git@eckner.net> | 2020-02-19 09:38:37 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2022-09-30 08:43:35 +0200 |
| commit | af0d23365e426e3d4301326e4c151db9a5087d6d (patch) | |
| tree | 38c1aabf1f1eb52bf033a039a1e342089291578b | |
| parent | b8d9a2b4fd02918a9988aafdf073e45a957b32e7 (diff) | |
| download | devtools-af0d23365e426e3d4301326e4c151db9a5087d6d.tar.xz | |
allow PKGEXT to be set from the environment
| -rw-r--r-- | archbuild.in | 2 | ||||
| -rw-r--r-- | makechrootpkg.in | 4 |
2 files changed, 5 insertions, 1 deletions
diff --git a/archbuild.in b/archbuild.in index e6cf19a..ad7036e 100644 --- a/archbuild.in +++ b/archbuild.in @@ -54,7 +54,7 @@ while getopts 'hcr:' arg; do esac done -check_root SOURCE_DATE_EPOCH,SRCDEST,SRCPKGDEST,PKGDEST,LOGDEST,MAKEFLAGS,PACKAGER,GNUPGHOME +check_root SOURCE_DATE_EPOCH,SRCDEST,SRCPKGDEST,PKGDEST,LOGDEST,MAKEFLAGS,PACKAGER,GNUPGHOME,PKGEXT # Pass all arguments after -- right to makepkg makechrootpkg_args+=("${@:$OPTIND}") diff --git a/makechrootpkg.in b/makechrootpkg.in index 126d1da..8e570e4 100644 --- a/makechrootpkg.in +++ b/makechrootpkg.in @@ -170,6 +170,9 @@ prepare_chroot() { grep -q "^$x" "$copydir/etc/makepkg.conf" && continue echo "$x" >>"$copydir/etc/makepkg.conf" done + if [ -n "${PKGEXT}" ]; then + sed -i 's/^PKGEXT=.*/PKGEXT='"'${PKGEXT}'"'/' "$copydir/etc/makepkg.conf" + fi cat > "$copydir/etc/sudoers.d/builduser-pacman" <<EOF builduser ALL = NOPASSWD: /usr/bin/pacman @@ -324,6 +327,7 @@ done umask 0022 ORIG_HOME=$HOME +PKGEXT=$PKGEXT IFS=: read -r _ _ _ _ _ HOME _ < <(getent passwd "${SUDO_USER:-$USER}") load_makepkg_config HOME=$ORIG_HOME |