On this page:
The following articles explain different aspects of the src command line interface to Sourcegraph in depth:
src