From 798a7ec3516344de9ef6e83f730c58321598b71d Mon Sep 17 00:00:00 2001 From: Frank LENORMAND Date: Sun, 30 Sep 2018 10:43:09 +0300 Subject: [PATCH] rc doc: Fix the anchor jump error message Fixes #2442 --- rc/core/doc.kak | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/rc/core/doc.kak b/rc/core/doc.kak index ed3c2977..d0f730e3 100644 --- a/rc/core/doc.kak +++ b/rc/core/doc.kak @@ -59,13 +59,15 @@ define-command doc-jump-to-anchor -params 1 %{ evaluate-commands %sh{ anchor="$1" eval "set -- $kak_opt_doc_anchors" + + shift for range in "$@"; do if [ "${range#*|}" == "$anchor" ]; then printf '%s\n' "select '${range%|*}'; execute-keys vv" exit fi done - printf '%s\n' "echo -markup %{{Error}No such anchor '$1'}" + printf "echo -markup {Error}No such anchor '%s'" "${anchor}" } }