summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
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 "$@"