diff options
| author | Jernej Jakob <jernej.jakob@gmail.com> | 2023-07-06 02:25:53 +0200 |
|---|---|---|
| committer | Doug Freed <dwfreed@mtu.edu> | 2023-07-26 22:41:19 -0500 |
| commit | cd5323970163d88fe39443454f8e886504c82da7 (patch) | |
| tree | 15960d5272362c0750f9cf1ca09a89aa354c87f7 /user-guide.md | |
| parent | 92662ddc44f6091e8085fcd4637d13f04e90c5ac (diff) | |
bash-completion/rc-service: don't set or unset extglob
It breaks bash-completion.
It's not necessary to set extglob as patterns in '[[' after '=='
are always matched as if extglob were set.
Closes: #636
Signed-off-by: Jernej Jakob <jernej.jakob@gmail.com>
Diffstat (limited to 'user-guide.md')
0 files changed, 0 insertions, 0 deletions