On 2012-11-06 16:23, Eitan Marder-Eppstein wrote:
> If there's a ton of demand to have headers generated for electric,
> there might be a way for me to create a hybrid system of the old and
> new indexers, but it's an item that hasn't been high on my priority list.
According to David Lu's recent poll, a third of the participating ROS
users are still on electric, so I would think that this information is
certainly needed by quite a few users! This is even more important for
the non-released stacks I'd say, since the indexer gives the repo
information to check out. Released stacks are easier to find and install
in the package manager.
> Once this issue is fixed, however, the idea is that stack maintainers
> can see why their builds are failing or unstable and make fixes to
> their repositories as needed.
That information will be surely useful, although I would suggest to not
display it that prominently as first information on the wiki page and
highlighted in bold. I would show it (along with the last indexed date)
smaller and faded like the "last changed" information at the bottom.
Maybe even hide it by default and make it expandable, or put it to the
bottom of the page?
Cheers,
Armin
--
Armin Hornung
Humanoid Robots Lab, Albert-Ludwigs-Universität Freiburg
Contact:
http://www.informatik.uni-freiburg.de/~hornunga
(text/plain)