Merge pull request #212 from ErezBinyamin/master

PR #210 bug fixes
chubin · Jun 15, 2020 · 36c08be · 36c08be
2 parents 84a9ca3 + cc72fa8
commit 36c08be
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/lib/adapter/cmd.py b/lib/adapter/cmd.py
@@ -130,10 +130,10 @@ def _get_command(self, topic, request_options=None):
             cmd[0] = _get_abspath(cmd[0])
 
         # cut oeis/ off
-        # Replace all non (alphanumeric, '-') chars with Spaces to delimit args to oeis.sh
+        # Replace all non (alphanumeric, '-', ':') chars with Spaces to delimit args to oeis.sh
         if topic.startswith("oeis/"):
             topic = topic[5:]
-            topic = re.sub('[^a-zA-Z0-9-]+', ' ', topic)
+            topic = re.sub('[^a-zA-Z0-9-:]+', ' ', topic)
 
         return cmd + [topic]
 

diff --git a/share/adapters/oeis.sh b/share/adapters/oeis.sh
@@ -86,7 +86,8 @@ oeis() (
         | tr -d '()' \
         | sort -u >> $TMP/list
       [ $(wc -c < $TMP/list) -ne 0 ] && cat ${TMP}/list || printf "No code snippets available.\n"
-    else
+    elif [ $# -gt 1 ]
+    then
       if [[ ${LANGUAGE^^} == 'MAPLE' ]] && grep -q 'MAPLE' $DOC
       then
         GREP_REGEX='MAPLE.*CROSSREFS'