Open Vampire opened 1 year ago
If you specified -b or --build-file already on the commandline, the completion should work with taking that into account.
-b
--build-file
Actually the code comment in __gradle-set-build-file already says that it does:
__gradle-set-build-file
# In order of precedence: --build-file=filename, rootProject.buildFileName, build.gradle, build.gradle.kts
but only the latter three are halfway supported.
So even if this does not get fixed, at least the code comment should be fixed. But I hope for the former of course. :-)
If you specified
-b
or--build-file
already on the commandline, the completion should work with taking that into account.Actually the code comment in
__gradle-set-build-file
already says that it does:but only the latter three are halfway supported.
So even if this does not get fixed, at least the code comment should be fixed. But I hope for the former of course. :-)