oeis: removed additional comma from URL

2026-06-20 13:16:44 +02:00 · 2020-06-16 12:30:56 -04:00
parent 7f74201711
commit 9c637511a0
1 changed files with 1 additions and 1 deletions
@@ -155,7 +155,7 @@ oeis() (
  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"
+  printf "\n[${URL}]\n" | rev | sed 's/,//' | rev
 )

 oeis $@