5 Commits

Author	SHA1	Message	Date
Mike Fährmann	9c65db2a92	consistent 'with open(…) as fp:' syntax	2024-06-14 01:22:00 +02:00
Mike Fährmann	a50c1472b1	fix and update zsh completion (#4972) ... - backslash-escape '[' and ']' - replace single quotes with '\'' instead of " - ignore SUPPRESSed options	2023-12-25 19:25:27 +01:00
Mike Fährmann	e60ec1699a	only rewrite utility files if contents changed	2023-01-27 18:04:13 +01:00
Mike Fährmann	74494b43d3	let zsh completion immediately suggest cmdline options ... instead of expecting an URL and trying to complete it.	2020-07-05 22:36:00 +02:00
Mike Fährmann	d0cd86e0d5	add zsh completion script (#150)	2020-07-04 18:05:31 +02:00