From 77cec487254c3756b87e8fa0e8d4e3189fd71c40 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 23 Apr 2020 14:51:42 +0200
Subject: [PATCH] [autocomplete] better regexp for identifying provers
---
share/autocomplete_frama-c | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/share/autocomplete_frama-c b/share/autocomplete_frama-c
index db940aff16c..02b607be099 100644
--- a/share/autocomplete_frama-c
+++ b/share/autocomplete_frama-c
@@ -93,8 +93,8 @@ _frama-c ()
elif [[ "${COMP_WORDS[COMP_CWORD -1]}" == "-wp-prover" ]]
then
local prefix=; [[ $cur == *,* ]] && prefix="${cur%,*},"
- advance_options="$(frama-c -wp-detect | grep -E -o " \[.*" | grep -E -o "[^\[-\|]*")"
- advance_options+="none script tip native:alt-ergo native:coq native:coqide"
+ advance_options="$(frama-c -wp-detect | grep -E -o " \[.*" | grep -E -o "[^]\[-\|]*")"
+ advance_options+=" none script tip native:alt-ergo native:coq native:coqide"
local ambigous="$(bind -v | grep show-all-if-ambiguous)"
ambigous="${ambigous##* }"
if [[ "$ambigous" == "on" ]]
--
GitLab