Open Vampire opened 1 year ago
If you specified -c or --settings-file already on the commandline, the completion should work with taking that into account.
-c
--settings-file
Actually the code comment in __gradle-set-settings-file already says that it does:
__gradle-set-settings-file
# In order of precedence: --settings-file=filename, settings.gradle, settings.gradle.kts
but only the latter two are 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
-cor--settings-filealready on the commandline, the completion should work with taking that into account.Actually the code comment in
__gradle-set-settings-filealready says that it does:but only the latter two are 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. :-)