From 379fc41e7b3977661f1454cf35acdbfae046d40d Mon Sep 17 00:00:00 2001 From: Marin Atanasov Nikolov Date: Fri, 15 Dec 2023 09:08:36 +0200 Subject: [PATCH] extras/bash-completion: use `grep -E` instead of `egrep` --- extras/completions.bash | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/extras/completions.bash b/extras/completions.bash index 3b6de03..1443462 100644 --- a/extras/completions.bash +++ b/extras/completions.bash @@ -13,8 +13,8 @@ function _clingon_app_completions() { _init_completion -s || return local _suggestions=$( "${words[@]:0:${cword}}" --bash-completions ) - local _options=$( egrep '^-' <<<${_suggestions} ) - local _sub_commands=$( egrep -v '^-' <<<${_suggestions} ) + local _options=$( grep -E '^-' <<<${_suggestions} ) + local _sub_commands=$( grep -v -E '^-' <<<${_suggestions} ) if [[ "${cur}" == "-"* ]]; then # Options only