Hi Paul, <div><br></div><div>Thanks for the update.  As your packages are in the rosdistro [1] already they take precedence over the manual indexing.   The manual indexing is only necessary for things which are not released and listed in one of the rosdistro files.  If you want to put other unreleased stacks into that rosinstall file I can add it.  But while it's redundant with the rosdistro I'd prefer to not add it to the indexer for efficiency and clarity. </div>

<div><br></div><div>Tully<br><br>[1] <a href="https://code.ros.org/svn/release/trunk/distros/">https://code.ros.org/svn/release/trunk/distros/</a><br><br><div class="gmail_quote">On Mon, Aug 20, 2012 at 11:01 AM, Dinh, Paul  (JSC-ER)[OCEANEERING SPACE SYSTEMS] <span dir="ltr"><<a href="mailto:paul.dinh@nasa.gov" target="_blank">paul.dinh@nasa.gov</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div lang="EN-US" link="blue" vlink="purple"><div><p class="MsoNormal">Hello, <u></u><u></u></p><p class="MsoNormal"><u></u> <u></u></p>

<p class="MsoNormal">I’ve recently created a single rosinstall for our two stacks,  found here: <a href="https://bitbucket.org/nasa_ros_pkg/misc/raw/master/nasa-ros-pkg.rosinstall" target="_blank">https://bitbucket.org/nasa_ros_pkg/misc/raw/master/nasa-ros-pkg.rosinstall</a><u></u><u></u></p>

<p class="MsoNormal">Can this get added to the indexer?<u></u><u></u></p><p class="MsoNormal"><u></u> <u></u></p><p class="MsoNormal">Thanks,<u></u><u></u></p><p class="MsoNormal">Paul<u></u><u></u></p></div></div><br>_______________________________________________<br>


ros-users mailing list<br>
<a href="mailto:ros-users@code.ros.org">ros-users@code.ros.org</a><br>
<a href="https://code.ros.org/mailman/listinfo/ros-users" target="_blank">https://code.ros.org/mailman/listinfo/ros-users</a><br>
<br></blockquote></div><br><br clear="all"><div><br></div>-- <br>Tully Foote<br><a href="mailto:tfoote@willowgarage.com" target="_blank">tfoote@willowgarage.com</a><br>(650) 475-2827<br>
</div>