oeis: Too many results to show error. Exists

2026-06-20 13:16:44 +02:00 · 2020-06-16 11:24:21 -04:00
parent 592a1f4565
commit 7f74201711
1 changed files with 1 additions and 0 deletions
@@ -153,6 +153,7 @@ oeis() (
      printf "\n"
    done
  fi
+  grep 'results, too many to show. Please refine your search.' /tmp/oeis/doc.html | sed -e 's/<[^>]*>//g; s/^[ \t]*//'
  # Print URL for user
  printf "\n[${URL}]\n"
 )