Mike Fährmann
57a4b5b5b1
[scripts/util] add 'lines()' helper
2025-08-23 19:53:07 +02:00
Mike Fährmann
c38386f1ed
[scripts/generate_result] add '-g/--git' command-line option
2025-08-17 23:51:49 +02:00
Mike Fährmann
d8e466da15
[scripts/util] add 'git' helper
2025-08-17 23:51:49 +02:00
Mike Fährmann
253d498a4e
[scripts/util] add 'trim()' helper
2025-08-05 21:55:05 +02:00
Mike Fährmann
e8b2a496ba
[scripts] ensure files use 'utf-8' encoding and '\n' newlines ( #7872 )
2025-07-22 20:57:54 +02:00
Mike Fährmann
1df09292b5
consistent __exit__() argument names
2024-10-11 16:43:28 +02:00
Mike Fährmann
e60ec1699a
only rewrite utility files if contents changed
2023-01-27 18:04:13 +01:00
Mike Fährmann
4f39d2ae64
install bash completion into share/bash-completion/completions
2019-11-07 23:23:48 +01:00
Mike Fährmann
96c7ccd380
update/cleanup Python dev scripts
...
- put common code in its own util.py file
- same Python3 shebang for all scripts
- add file docstrings
- fix format string replacement fields in man page template
2019-04-16 21:21:34 +02:00
