Ask Your Question
0

How can I find ROS packages on GitHub?

asked 2017-10-17 02:27:13 -0500

thinwybk gravatar image

How can I find ROS packages on GitHub? I thought about e.g. using the GitHub search field with something like <package> filename:package extension:xml to search for package.xml files which contain <package> (GitHub syntax for searching code). But I did not come up with a suitable serach pattern so far.

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted
1

answered 2017-10-17 02:41:53 -0500

gvdhoorn gravatar image

I'm not sure how useful it is (ie: I get way too many results), but if I search with ros filetype:xml site:github.com I only get links to package.xml files, which would seem to belong to ROS pkgs.

Note that package.xml files are also used by some other (OSS) projects.

edit flag offensive delete link more

Comments

Btw: seeing this - and your other questions: is there some specific context you are asking all these questions from/in? Automated testing (roswtf, fuzzing, etc) + automated discovery of packages seems to start to point in a certain direction ..

gvdhoorn gravatar image gvdhoorn  ( 2017-10-17 02:43:06 -0500 )edit

Yes, I try to find information about automated testing in ROS. Many lower level testing topics are generic and independent of the company I am working for. As everyone depends on other peoples packages (up to the ROS node level I guess) I am planning to share generic information...

thinwybk gravatar image thinwybk  ( 2017-10-17 03:02:10 -0500 )edit

... about how to improve reliability (w.r.t. that the package does what it is meant for from a functional validation and verification point of view) of ROS packages in a GitBook . ( wiki.ros.org turned out to be not suitable for me.)

thinwybk gravatar image thinwybk  ( 2017-10-17 03:07:21 -0500 )edit

Searching on google for ros filetype:xml site:github.com is quite ok.

thinwybk gravatar image thinwybk  ( 2017-10-17 03:15:56 -0500 )edit
2

And just leaving this here: ROS Index.

gvdhoorn gravatar image gvdhoorn  ( 2017-10-17 03:15:57 -0500 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

2 followers

Stats

Asked: 2017-10-17 02:27:13 -0500

Seen: 107 times

Last updated: Oct 17 '17