gnokii: Use <<< instead of echo + pipe

Author: scop

completions/gnokii

@@ -222,7 +222,7 @@ _gnokii()
     # safer to use LANG=C
     local all_cmd="$( LANG=C _parse_help $1 "--help all" )"
     # these 2 below are allowed in combination with others
-    local main_cmd=$( echo "$all_cmd" | command grep -v -- '--config\|--phone' )
+    local main_cmd=$( command grep -v -- '--config\|--phone' <<<"$all_cmd" )
 
     # don't provide main command completions if one is
     # already on the command line