DXR is a code search and navigation tool aimed at making sense of large projects. It supports full-text and regex searches as well as structural queries.

Line Code
1 2 3 4 5 6 7 8 9 10 11 12 13 14
#!/bin/bash

set -e

commit=$(git rev-parse HEAD)
version=$(cat version.txt)
source=$(cat contribute.json | python -c 'import json, sys; a = json.load(sys.stdin); print a["repository"]["url"]')

# TODO: Add link to CI job that produced the docker image
echo "{
    \"commit\": \"${commit}\",
    \"version\": \"${version}\",
    \"source\": \"${source}\"
}" > version.json