diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-04-10 19:06:00 -0400 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-04-10 19:47:16 -0400 |
| commit | 79c1638303142b81e1b72dd5bde0c656ccf19999 (patch) | |
| tree | d94ffbc1f7a4726a14daddcd818d3a3c7fe46aa1 /make-man-rules.py | |
| parent | 75add28aa17678fbf5b10947027efe7ac75d113d (diff) | |
shell-completion: replace printf with echo
It is faster to use a bash built-in, then to invoke an external
program. The problem of unit names starting with a dash is solved
by prepending a space. Spaces are ignored anyway.
For zsh, replace echo "$unit", which is vulnerable to dashes,
with echo " $unit".
Diffstat (limited to 'make-man-rules.py')
0 files changed, 0 insertions, 0 deletions