This is a simple Python script to help embedding source indexing information to PDBs using HTTP source server provider.
If you're looking to source-index your PDB and you're using GitHub, then this is perfect. If you need more information on how it works, take a look at Baldur Karlsson's writings for GitHub source indexing and Bruce Dawson's blogpost about source indexing in general.
To use this script, you need to specify a source-URL mapping which can be specified with --source
. For example, if your project is
hosted at https://github.com/love2d/love and you're building for commit 4b825dc642cb6eb9a060e54bf8d69288fbee4904
, then the URL to
access the source file can be re-constructed as https://raw.githubusercontent.com/love2d/love/4b825dc642cb6eb9a060e54bf8d69288fbee4904
.