diff options
author | Louie S <louie@example.com> | 2024-07-12 18:05:20 -0400 |
---|---|---|
committer | Louie S <louie@example.com> | 2024-07-12 18:05:20 -0400 |
commit | 9db591c61e15cf1c6e3c99a7dfbb17efe2bef5b1 (patch) | |
tree | e010a579c62fbf1a9401c59f5de94820067c7ab5 /src/index-pages.sh | |
parent | 6c148f5f4b3f3fcf0d31ab369f7f65416c066b67 (diff) |
Modularize for use with Dash Docset Builder
Diffstat (limited to 'src/index-pages.sh')
-rwxr-xr-x | src/index-pages.sh | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/src/index-pages.sh b/src/index-pages.sh new file mode 100755 index 0000000..14618cb --- /dev/null +++ b/src/index-pages.sh @@ -0,0 +1,36 @@ +#!/usr/bin/env sh + +# shellcheck source=../../../scripts/create_table.sh +. "$(dirname "$0")"/../../../scripts/create_table.sh +# shellcheck source=../../../scripts/get_title.sh +. "$(dirname "$0")"/../../../scripts/get_title.sh +# shellcheck source=../../../scripts/insert.sh +. "$(dirname "$0")"/../../../scripts/insert.sh + +#get_title() { +# FILE="$1" +# +# pup -p -f "$FILE" 'title text{}' | \ +# sed 's/(Bison.*)//g' | \ +# sed 's/\"/\"\"/g' +#} + +DB_PATH="$1" +shift + +insert_pages() { + # Get title and insert into table for each html file + while [ -n "$1" ]; do + unset PAGE_NAME + unset PAGE_TYPE + PAGE_NAME="$(get_title "$1" | sed 's/(Bison.*)//g')" + PAGE_TYPE="Guide" + if [ -n "$PAGE_NAME" ]; then + insert "$DB_PATH" "$PAGE_NAME" "$PAGE_TYPE" "$(basename "$1")" + fi + shift + done +} + +create_table "$DB_PATH" +insert_pages "$@" |