diff options
Diffstat (limited to 'src/scripts/gnu/index-terms.sh')
-rwxr-xr-x | src/scripts/gnu/index-terms.sh | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/src/scripts/gnu/index-terms.sh b/src/scripts/gnu/index-terms.sh deleted file mode 100755 index e82aff2..0000000 --- a/src/scripts/gnu/index-terms.sh +++ /dev/null @@ -1,33 +0,0 @@ -#!/usr/bin/env sh - -# shellcheck source=../create_table.sh -. "$(dirname "$0")"/../create_table.sh -# shellcheck source=../insert.sh -. "$(dirname "$0")"/../insert.sh - -TYPE="$1" -shift -DB_PATH="$1" -shift - -insert_index_terms() { - # Get each term from an index page and insert - while [ -n "$1" ]; do - grep -Eo "<a href.*</a>:" "$1" | while read -r line; do - insert_term "$line" - done - - shift - done -} - -insert_term() { - LINK="$1" - NAME="$(echo "$LINK" | pup -p 'a text{}' | sed 's/"/\"\"/g' | tr -d \\n)" - PAGE_PATH="$(echo "$LINK" | pup -p 'a attr{href}')" - - insert "$DB_PATH" "$NAME" "$TYPE" "$PAGE_PATH" -} - -create_table "$DB_PATH" -insert_index_terms "$@" |