summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLouie Shprung <lshprung@tutanota.com>2024-06-20 17:26:12 -0400
committerLouie Shprung <lshprung@tutanota.com>2024-06-20 17:26:12 -0400
commit03699605e4ba3443ff3f1e34d2be9e70e152d42a (patch)
treed8b6c3fa1500d08f6fa01729222b71a9e34de4ff
parentccb4e88de762909f0c86e4199424da9989932e86 (diff)
Move index-terms.sh to shared scripts for GNU docsets
m---------src/configs/GNU_Autoconf0
m---------src/configs/GNU_Make0
m---------src/configs/flex0
-rwxr-xr-xsrc/scripts/gnu/index-terms.sh33
4 files changed, 33 insertions, 0 deletions
diff --git a/src/configs/GNU_Autoconf b/src/configs/GNU_Autoconf
-Subproject b949528c9a8bb9c3c7bd6723bd81d2c917b6d50
+Subproject 80c48802cda4655b21f70a6788611d27079ae55
diff --git a/src/configs/GNU_Make b/src/configs/GNU_Make
-Subproject 2f9bf497b2ccb4cb1723cd731624b0652a7b0e9
+Subproject 6982df93c81edae0f3b4f599c8ea753d14bd3bc
diff --git a/src/configs/flex b/src/configs/flex
-Subproject 52d6db2cc8dcb3112dff4cae4bcddbdbfbc7afd
+Subproject 27fe42030ff1fbf39820ea5673f19f822957096
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 "$@"