Rename bash completion file

This commit is contained in:
Fabrice Reix 2024-02-27 09:40:52 +01:00
parent f24de186c2
commit 67c61bf3a0
No known key found for this signature in database
GPG Key ID: BF5213154B2E7155
3 changed files with 1 additions and 1 deletions

View File

@ -54,7 +54,7 @@ def generate_completion_files(name: str, option_files: List[str]):
[Option.parse_file(option_file) for option_file in option_files],
key=lambda option: option.name,
)
output_file = "completions/" + name + "-completion.bash"
output_file = "completions/" + name + ".bash"
src = generate_completion.generate_bash_completion(name, options)
sys.stderr.write("Generate " + output_file + "\n")
open(output_file, "w").write(src + "\n")