Introduction:
OpenGrok is a tool for indexing source repositories and making them easily browsable via the web. (It is also useful as a non-web-based developer tool, but this isn't relevant here.)
[[Link to main ISDA OpenGrok page.]|http://mv.ezproxy.com.ezproxyberklee.flo.org/source/]
ISDA provides this tool for browsing public source code bases. Available repositories for browsing:
- krb5(This link will change in late February, 2008.)
If you wish to make your repository available via this service, drop us a note.
Notes for maintainers:
Each repository indexed by opengrok is served by a separate web application running on isda-maven1.mit.edu. To deploy a new application, you need to:
- check out the source tree under /home/opengrok/src/<name>
- index that source tree into /home/opengrok/data/<name>
- add checkout/index maintenance to the cron job
- configure an instance of the web application to refer to the source and data directories above
- install it in the source subdirectory of tomcat's webapp directory
- restart tomcat
More detailed instructions for some of the steps above will, ideally, be added to this page soon.