diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/index-pages.sh (renamed from src/index-page.sh) | 13 |
1 files changed, 3 insertions, 10 deletions
diff --git a/src/index-page.sh b/src/index-pages.sh index 273c578..53c35ee 100755 --- a/src/index-page.sh +++ b/src/index-pages.sh @@ -2,21 +2,14 @@ # 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 DB_PATH="$1" shift -get_title() { - FILE="$1" - - pup -p -f "$FILE" 'title text{}' | \ - sed 's/ (Lexical Analysis With Flex.*)//' | \ - tr -d \\n | \ - sed 's/\"/\"\"/g' -} - get_type() { PAGE_NAME="$1" @@ -34,7 +27,7 @@ insert_pages() { while [ -n "$1" ]; do unset PAGE_NAME unset PAGE_TYPE - PAGE_NAME="$(get_title "$1")" + PAGE_NAME="$(get_title "$1" | sed 's/ (Lexical Analysis With Flex.*)//')" # determine type case "$PAGE_NAME" in |