Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Make the cache directory configurable too #4103
This PR adds a pair of command-line options (
They are exact counterparts of the
The goal is to make the application fully portable by not letting any unnecessary hard-coded path.