diff options
author | Louie S <louie@example.com> | 2024-07-17 18:07:15 -0400 |
---|---|---|
committer | Louie S <louie@example.com> | 2024-07-17 18:07:15 -0400 |
commit | 9b0d30029aa6880cdb2bf2ec045524108a684e07 (patch) | |
tree | b99dd7b778ad0bb1595a90022edfcd09fe2a2501 /src/index-page.sh | |
parent | 386d5d6a5d52ee60584bdf955018f784bddef7e3 (diff) |
Diffstat (limited to 'src/index-page.sh')
-rwxr-xr-x | src/index-page.sh | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/src/index-page.sh b/src/index-page.sh deleted file mode 100755 index 0b6e693..0000000 --- a/src/index-page.sh +++ /dev/null @@ -1,34 +0,0 @@ -#!/usr/bin/env sh - -# shellcheck source=./lib/create_table -. "$(dirname "$0")"/lib/create_table -# shellcheck source=./lib/insert -. "$(dirname "$0")"/lib/insert - -DB_PATH="$1" -shift - -get_title() { - FILE="$1" - - pup -p -f "$FILE" 'title text{}' | \ - tr -d \\n | \ - sed 's/\"/\"\"/g' -} - -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")" - 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 "$@" |