[arch-dev-public] -ARCH package extension

[Dan McGee]

On 5/11/07, Aaron Griffin <aaronmgriffin at gmail.com> wrote:
> 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

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