dic: move to dedicated repo

1 files changed, 0 insertions, 78 deletions

diff --git a/util/bin/dic b/util/bin/dic
deleted file mode 100755
index b3dac847..00000000
--- a/util/bin/dic
+++ /dev/null
@@ -1,78 +0,0 @@
-#! /bin/sh
-# usage: dic WORD [LANG]
-# where LANG may be one of en, fr, es, it, ch, ru, pt, pl
-# multiple WORDs may be seperated by + like this: multiple+words
-set -euf
-
-main() {
-
-  case $# in
-    1|2) :;; # ok
-    *) usage; exit 23;;
-  esac
-
-  # all three are used by GET
-  search="$1"
-  langlang="${2-en}de"
-  lang="de"
-
-  GET | simplify | tac
-}
-
-GET() {
-  curl -sS -b 'LEOABTEST=T; browser=webkit%3B5%3Bajax' \
-    "https://dict.leo.org/dictQuery/m-vocab/$langlang/query.xml?tolerMode=nof&lp=$langlang&lang=$lang&rmWords=off&rmSearch=on&search=$search&searchLoc=0&resultOrder=basic&multiwordShowSingle=on"
-}
-
-simplify() {
-  sed '
-    s|<repr>|\nREPR: |g
-    s|</repr>|\n|g
-  ' | grep ^REPR |
-  sed '
-    s/^REPR: //
-    1~2{s/$/
/}
-    2~2{s/$//}
-  ' |
-  tr -d \\n |
-  sed '
-    s/
/ - /g
-    s//\n/g
-
-    #q
-
-    s/&#8660;/⇔/g
-    s/&#160;/ /g; # &nbsp;
-    s/  */ /g
-
-    # <!-- undefined_translation: en:pl_ext -->
-    s/ *<!--[^>]*-->//g
-
-    s|<i> *|/|g
-    s| *</i>|/|g
-
-    s:<sup>1</sup>:¹:g; s:<sup>2</sup>:²:g; s:<sup>3</sup>:³:g;
-    s:<sup>:^(:g
-    s:</sup>:):g
-
-    s:<sub>0</sub>:₀:g;
-    s:<sub>1</sub>:₁:g; s:<sub>2</sub>:₂:g; s:<sub>3</sub>:₃:g;
-    s:<sub>4</sub>:₄:g; s:<sub>5</sub>:₅:g; s:<sub>6</sub>:₆:g;
-    s:<sub>7</sub>:₇:g; s:<sub>8</sub>:₈:g; s:<sub>9</sub>:₉:g;
-    s:<sub>:_(:g
-    s:</sub>:):g
-
-    s:<b> *::g
-    s: *</b>::g
-
-    s|<small> *||g
-    s| *</small>||g
-
-  '
-}
-
-usage() {
-  sed -rn '/^# usage:/,/^[^#]/{/^#/{s/# //;p}}' "$0" >&2
-}
-
-main "$@"