Re: [Devil-linux-develop] Re: [Devil-linux-commit] build update_src,1.21,1.22

[Bruce S. <bw...@ar...>]

> >>>Log Message:
> >>>renumber servers - keep Bruce and Heiko happy by not renumbering their mirrors
> >>
> >>You can renumber mine all you want.  No big deal for me.
> > 
> > 
> > Personally I think they should be renumbered, if Heiko doesn't care.
> > 
> > Put all the internal mirrors at the end with numbers that won't change
> > (for awhile anyway :)   ... 97, 98, 99.
> 
> That's currently not possible. The menu array in update_src has
> to be strictly in ascending order of indexes - I know I've
> programmed the damned thing ;-)

I was thinking it might be possible to fill the unused entries with some
placeholder value, and only display the good entries on the menu?
(the `seq` command might be handy for that ;)

 - BS