diff options
author | Louie S <louie@example.com> | 2024-01-16 09:31:12 -0500 |
---|---|---|
committer | Louie S <louie@example.com> | 2024-01-16 09:31:12 -0500 |
commit | 2d1e8a273dc45fc10f4d5628e406ab970b720381 (patch) | |
tree | 82ed5d081bf690a16b69e4382695392ab351ba32 /src/index.sh | |
parent | 10a6815096b5101618d22c518dcc72331831d231 (diff) |
Diffstat (limited to 'src/index.sh')
-rwxr-xr-x | src/index.sh | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/src/index.sh b/src/index.sh deleted file mode 100755 index 0b6e693..0000000 --- a/src/index.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 "$@" |