diff options
author | Louie Shprung <lshprung@tutanota.com> | 2024-06-20 17:26:12 -0400 |
---|---|---|
committer | Louie Shprung <lshprung@tutanota.com> | 2024-06-20 17:26:12 -0400 |
commit | 03699605e4ba3443ff3f1e34d2be9e70e152d42a (patch) | |
tree | d8b6c3fa1500d08f6fa01729222b71a9e34de4ff /src/scripts/gnu | |
parent | ccb4e88de762909f0c86e4199424da9989932e86 (diff) |
Move index-terms.sh to shared scripts for GNU docsets
Diffstat (limited to 'src/scripts/gnu')
-rwxr-xr-x | src/scripts/gnu/index-terms.sh | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/src/scripts/gnu/index-terms.sh b/src/scripts/gnu/index-terms.sh new file mode 100755 index 0000000..0eaffa7 --- /dev/null +++ b/src/scripts/gnu/index-terms.sh @@ -0,0 +1,33 @@ +#!/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 "$@" |