11 May
2007
11 May
'07
6:05 p.m.
On 5/11/07, Thomas Bächler <thomas@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