From a74b169a5a5c782a4082a79a84f36c74023b017c Mon Sep 17 00:00:00 2001 From: Joe Corall Date: Wed, 15 May 2024 17:10:35 -0400 Subject: [PATCH] lint --- examples/coverpage/cmd.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/examples/coverpage/cmd.sh b/examples/coverpage/cmd.sh index 1abed62..e46b493 100755 --- a/examples/coverpage/cmd.sh +++ b/examples/coverpage/cmd.sh @@ -9,10 +9,10 @@ convert_unicode_to_latex() { while IFS= read -r line; do unicode_char=$(echo "$line" | cut -d ' ' -f 1) latex_command=$(echo "$line" | cut -d ' ' -f 2-) - output=$(echo "$output" | sed "s/${unicode_char}/${latex_command}/g") + output="${output//${unicode_char}/${latex_command}}" done < unicode_to_latex.map - echo "$output" | sed -E 's/\^(\{[^}]*\})/$\^\1$/g' | sed -E 's/_\{([^}]*)\}/$_{\1}$/g' + echo "$output" | sed -E "s/\^(\{[^}]*\})/\$\^\1\$/g" | sed -E "s/_\{([^}]*)\}/\$_{\1}\$/g" } if [ "$#" -ne 4 ]; then