summaryrefslogtreecommitdiff
path: root/tools/change-thesaurus-filenames
diff options
context:
space:
mode:
authorPeter Palfrader <peter@palfrader.org>2004-04-28 11:42:43 +0000
committerPeter Palfrader <peter@palfrader.org>2004-04-28 11:42:43 +0000
commitdbdc151819c2e0d8b26d986013a4f59ba238b964 (patch)
tree9abb2714b92d86b320a8090dc473bfef83419d45 /tools/change-thesaurus-filenames
parent8ef616488acdb38f82f46effbca498a7d7f91046 (diff)
Removed obsolete tools to convert echolot setups during 2.0beta* releases
Diffstat (limited to 'tools/change-thesaurus-filenames')
-rwxr-xr-xtools/change-thesaurus-filenames42
1 files changed, 0 insertions, 42 deletions
diff --git a/tools/change-thesaurus-filenames b/tools/change-thesaurus-filenames
deleted file mode 100755
index 735791d..0000000
--- a/tools/change-thesaurus-filenames
+++ /dev/null
@@ -1,42 +0,0 @@
-#! /bin/sh
-
-# In 2.0beta4 files in the Thesaurus were named <id>-<type>. E.g: 25-adminkey
-# 2.0beta5 uses dots now instead of dashes: 25.adminkey
-
-# This script reads renames files in the Thesaurus
-
-# It is assumed that the largest id in use is 999
-
-set -e
-
-FILES=`ls [0-9]-conf [0-9]-key [0-9]-stats [0-9]-help [0-9]-adminkey [0-9][0-9]-conf \
- [0-9][0-9]-key [0-9][0-9]-stats [0-9][0-9]-help [0-9][0-9]-adminkey \
- [0-9][0-9][0-9]-key [0-9][0-9][0-9]-stats [0-9][0-9][0-9]-help [0-9][0-9][0-9]-adminkey 2>/dev/null` || true
-
-if [ -z "$FILES" -a -d "results/thesaurus/" ]; then
- echo Changing to directory results/thesaurus/
- cd results/thesaurus/
- FILES=`ls [0-9]-conf [0-9]-key [0-9]-stats [0-9]-help [0-9]-adminkey [0-9][0-9]-conf \
- [0-9][0-9]-key [0-9][0-9]-stats [0-9][0-9]-help [0-9][0-9]-adminkey \
- [0-9][0-9][0-9]-key [0-9][0-9][0-9]-stats [0-9][0-9][0-9]-help [0-9][0-9][0-9]-adminkey 2>/dev/null` || true
-fi
-if [ -z "$FILES" -a -d "thesaurus/" ]; then
- echo Changing to directory thesaurus/
- cd results/thesaurus/
- FILES=`ls [0-9]-conf [0-9]-key [0-9]-stats [0-9]-help [0-9]-adminkey [0-9][0-9]-conf \
- [0-9][0-9]-key [0-9][0-9]-stats [0-9][0-9]-help [0-9][0-9]-adminkey \
- [0-9][0-9][0-9]-key [0-9][0-9][0-9]-stats [0-9][0-9][0-9]-help [0-9][0-9][0-9]-adminkey 2>/dev/null` || true
-fi
-
-if [ -z "$FILES" ]; then
- echo "Could not find any old style filenames in '.', 'results/thesaurus/', or 'thesaurus/'" >&2
- exit 1
-fi
-
-echo "Renaming files..."
-for file in $FILES ; do
- mv $file `echo $file | tr '-' '.'`
-done
-
-echo "done."
-echo "The next buildthesaurus run (per default every hour) will fix the index file"