From 1aef05b59c51c2e515b0cee03e8b8c45a9108def Mon Sep 17 00:00:00 2001 From: tv Date: Wed, 30 Jan 2013 14:56:37 +0100 Subject: //util with: initial commit --- util/bin/with | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100755 util/bin/with (limited to 'util/bin') diff --git a/util/bin/with b/util/bin/with new file mode 100755 index 00000000..97893faf --- /dev/null +++ b/util/bin/with @@ -0,0 +1,6 @@ +#! /bin/sh +set -euf +ENV="${env_dir-$HOME/.env.d}/$1" +shift +. "$ENV" +exec "$@" -- cgit v1.2.3 From d363f47a406b7e46a409bf8d5a0bcd0a9f8065e7 Mon Sep 17 00:00:00 2001 From: tv Date: Fri, 22 Feb 2013 23:58:49 +0100 Subject: rm obsolete dict.leo.org scraper --- util/bin/dict.leo.org | 87 --------------------------------------------------- 1 file changed, 87 deletions(-) delete mode 100755 util/bin/dict.leo.org (limited to 'util/bin') diff --git a/util/bin/dict.leo.org b/util/bin/dict.leo.org deleted file mode 100755 index 03f16b96..00000000 --- a/util/bin/dict.leo.org +++ /dev/null @@ -1,87 +0,0 @@ -#! /bin/sh -#### dict.leo.org version 2.0 beta 1 -set -euf - -cache_dir=/tmp/dict.leo.org/ -file="$cache_dir$*" - -url="http://dict.leo.org/?$*" - -# TODO check sanity of filename - -if test -d "$cache_dir" ; then - test -e "$file" || { curl --silent "$url" | tee "$file" ; } -else - curl --silent "$url" -fi | -sed 's/>\( *.\)/>\n\1/g' | sed -n ' - s/[[:space:]]/ /g - //,/<\/td>/b - //,/^<\/td>/b - //,/^ <\/table>/b - //,/<\/table>/b - /