[arch-dev-public] -ARCH package extension

[Aaron Griffin]

On 5/11/07, Thomas Bächler <thomas at archlinux.org> wrote:
> --- usr/bin/extrapkg    2006-04-28 04:54:19.000000000 +0200
> +++ /usr/bin/extrapkg   2007-05-08 23:08:57.000000000 +0200
> @@ -10,7 +10,9 @@
>  fi
>
>  source PKGBUILD
> +pkg3file=${pkgname}-${pkgver}-${pkgrel}-i686.pkg.tar.gz
>  pkgfile=${pkgname}-${pkgver}-${pkgrel}.pkg.tar.gz
> +[ -f $pkg3file ] && mv $pkg3file $pkgfile
>
>  if [ ! -f $pkgfile ]; then
>         pkgfile=$PKGDEST/$pkgfile
>
> Works better IMO and doesn't add an extra step to package management.
> Maybe we should add a similar workaround in devtools for now, as all
> devs and TUs use it.

I was thinking about that too - it'd make a decent intermediate step.

Jason? What do you think, devtools is your baby