On 5/11/07, Aaron Griffin <aaronmgriffin@gmail.com> wrote:
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
We can rebuild a patched devtools for now in the repos regardless. Have it look for either package name and rename it to the old style name? Any takers? I like the patch above. -Dan