diff options
Diffstat (limited to 'src/index.sh')
-rwxr-xr-x | src/index.sh | 48 |
1 files changed, 0 insertions, 48 deletions
diff --git a/src/index.sh b/src/index.sh deleted file mode 100755 index 0e583e4..0000000 --- a/src/index.sh +++ /dev/null @@ -1,48 +0,0 @@ -#!/usr/bin/env sh - -# shellcheck source=../../../scripts/create_table.sh -. "$(dirname "$0")"/../../../scripts/create_table.sh -# shellcheck source=../../../scripts/insert.sh -. "$(dirname "$0")"/../../../scripts/insert.sh - -DB_PATH="$1" -shift - -get_title() { - FILE="$1" - - pup -p -f "$FILE" 'title text{}' | \ - sed 's/(Autoconf Archive)//g' | \ - sed 's/\"/\"\"/g' -} - -get_type() { - FILE="$(basename "$1")" - MACRO_PATTERN="^ax_" - - if echo "$FILE" | grep -q "$MACRO_PATTERN"; then - echo "Macro" - fi -} - -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")" - if [ -n "$PAGE_NAME" ]; then - PAGE_TYPE="$(get_type "$1")" - #get_type "$1" - if [ -z "$PAGE_TYPE" ]; then - PAGE_TYPE="Guide" - fi - #echo "$PAGE_TYPE" - insert "$DB_PATH" "$PAGE_NAME" "$PAGE_TYPE" "$(basename "$1")" - fi - shift - done -} - -create_table "$DB_PATH" -insert_pages "$@" |