From bde1d98bcb016881e53d9d2208385c26938b7729 Mon Sep 17 00:00:00 2001
From: Your Name <you@example.com>
Date: Sat, 13 Jun 2020 09:22:04 -0400
Subject: [PATCH] indent code snippets 4 spaces to allow colorization

---
 share/adapters/oeis.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/share/adapters/oeis.sh b/share/adapters/oeis.sh
index 18c458e..090f064 100755
--- a/share/adapters/oeis.sh
+++ b/share/adapters/oeis.sh
@@ -100,7 +100,11 @@ oeis() (
     LANGUAGE="${LANGUAGE:1}"
     LANGUAGE="${L^^}${LANGUAGE,,}"
     [ $(wc -c < $TMP/code_snippet) -eq 0 ] && awk -v tgt="${LANGUAGE}" -F'[()]' '/^\(/{f=(tgt==$2)} f' ${TMP}/prog > ${TMP}/code_snippet
-    cat ${TMP}/code_snippet
+    # Print code snippet with 4-space indent to enable colorization
+    printf "${LANGUAGE^^}\n"
+    cat ${TMP}/code_snippet \
+      | sed "s/(${LANGUAGE^^})/--\n/;" \
+      | sed 's/^/    /'
   # Search unknown sequence
   else
     # Build URL