KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Prefix names of cmd files

Browse Source
This commit is contained in:
Kovid Goyal
2022-08-25 08:03:23 +05:30
parent 6a2393299b
commit ccb60687b6
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
gen-rc-go.py
View File

@@ -241,7 +241,7 @@ var DocTitleMap = map[string]string{serialize_go_dict(ref_map['doc'])}
cmd = command_for_name(name) cmd = command_for_name(name)
opts = parse_option_spec(cmd.options_spec or '\n\n')[0] opts = parse_option_spec(cmd.options_spec or '\n\n')[0]
code = build_go_code(name, cmd, opts, template) code = build_go_code(name, cmd, opts, template)
dest = f'tools/cmd/at/{name}_generated.go' dest = f'tools/cmd/at/cmd_{name}_generated.go'
if os.path.exists(dest): if os.path.exists(dest):
os.remove(dest) os.remove(dest)
with open(dest, 'w') as f: with open(dest, 'w') as f: