From 6996843dbbeef3fb43a7da9ac7778840b8381811 Mon Sep 17 00:00:00 2001 From: Przemyslaw Pietras Date: Wed, 5 Jun 2024 22:18:50 +0200 Subject: [PATCH] Add option to disable numbers --- src/custom-number.sh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/custom-number.sh b/src/custom-number.sh index 0408d3a7..e417dbf8 100755 --- a/src/custom-number.sh +++ b/src/custom-number.sh @@ -16,6 +16,10 @@ format_sub="₀₁₂₃₄₅₆₇₈₉" ID=$1 FORMAT=${2:-none} +if [ "$FORMAT" = "disable" ]; then + exit 0 +fi + # Preserve leading whitespace for bash format="$(eval echo \"\$format_${FORMAT}\")" if [ -z "$format" ]; then