| 1 |
On Thu, 23 Apr 2015 15:20:15 +1200 |
| 2 |
Kent Fredric <kentfredric@×××××.com> wrote: |
| 3 |
|
| 4 |
> On 23 April 2015 at 15:07, Duncan <1i5t5.duncan@×××.net> wrote: |
| 5 |
> |
| 6 |
> > Perhaps the slashdot effect of everybody almost at once needing to |
| 7 |
> > delete and (re)add their overlays in layman, thus forcing a new |
| 8 |
> > clone, |
| 9 |
> > |
| 10 |
> |
| 11 |
> Eh? That seems incredibly wrong for git. |
| 12 |
> |
| 13 |
> git remote set-url master <newurl> |
| 14 |
> |
| 15 |
> Would handle the git side. |
| 16 |
> |
| 17 |
> You can even tweak git to rewrite all urls for you, like: |
| 18 |
> |
| 19 |
> [url "git://anongit.gentoo.org"] |
| 20 |
> insteadOf = git://git.overlays.gentoo.org |
| 21 |
> |
| 22 |
> Admittedly it may have been hard for layman to be intelligent about |
| 23 |
> this, but requiring everyone to remove/add simply for a URI change |
| 24 |
> strikes me as rather odd here. |
| 25 |
> |
| 26 |
> |
| 27 |
|
| 28 |
No, layman does try to update the url first, failing that it |
| 29 |
deletes/re-adds it. |
| 30 |
|
| 31 |
But I think what happened for some, was, the urls had not yet been |
| 32 |
updated or updated correctly in repositories.xml. That resulted in |
| 33 |
failures to update to a new valid url. |
| 34 |
|
| 35 |
-- |
| 36 |
Brian Dolbec <dolsen> |
Archives