Re: [packman] internal server error in Multimedia repo

2016-08-08 Diskussionsfäden Stefan Botter
On Mon, 8 Aug 2016 15:44:31 +0200 Olaf Hering wrote: > On Mon, Aug 08, Marcus Hüwe wrote: > > > As a temporary workaround, you can put the attached script/osc > > plugin into your ~/.osc-plugins directory (it monkey patches > > osc.core.get_project_sourceinfo so that it treats status 500 as 414

Re: [packman] internal server error in Multimedia repo

2016-08-08 Diskussionsfäden Marcus Hüwe
Hi, On 2016-08-08 11:46:02 +0200, Olaf Hering wrote: > On Mon, Aug 08, Olaf Hering wrote: > > > prjs="Essentials Multimedia" > > mkdir $$ > > cd $_ > > for prj in $prjs > > do > > pbs co -u $prj > > cd $_ > > pbs up -u > > for pkg in * > > do > > ls -1d * | wc -l > > echo $pkg >

Re: [packman] internal server error in Multimedia repo

2016-08-08 Diskussionsfäden Olaf Hering
On Mon, Aug 08, Marcus Hüwe wrote: > As a temporary workaround, you can put the attached script/osc plugin > into your ~/.osc-plugins directory (it monkey patches > osc.core.get_project_sourceinfo so that it treats status 500 as 414 for > this specific api call (yes... that's really, really hacky)

Re: [packman] internal server error in Multimedia repo

2016-08-08 Diskussionsfäden Olaf Hering
On Mon, Aug 08, Olaf Hering wrote: > prjs="Essentials Multimedia" > mkdir $$ > cd $_ > for prj in $prjs > do > pbs co -u $prj > cd $_ > pbs up -u > for pkg in * > do > ls -1d * | wc -l > echo $pkg > sed -i "/\"$pkg\"/d" .osc/_packages > rm -rf $pkg > pbs up -u && brea