Implement a ${defaultBuildDir}
placeholder variable
#903
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Unless esbonio finds a
sphinx-build
command to use from the user's config it will attempt to guess something reasonable. During this process it generates a default build directory to use, in a subfolder ofplatformdirs.user_cache_dir()
so that it does not interfere with the user's files.Up until now, the moment a user sets their own
sphinx-build
command this behavior is lost, which can lead to issues on some systems.This PR introduces a
${defaultBuildDir}
placeholder value that the user can use to provide their own build flags, while maintaining the default choice of build directory provided by esbonio.Closes #865