blob: 55cd1ec68e5bfb83b896df120a2db6b07dd8edaa (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
|
#!/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{}' | \
sed 's/ (Lexical Analysis With Flex.*)//' | \
tr -d \\n | \
sed 's/\"/\"\"/g'
}
get_type() {
PAGE_NAME="$1"
case "$PAGE_NAME" in
option-*)
echo "Option"
;;
*)
echo "Guide"
esac
}
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")"
# determine type
case "$PAGE_NAME" in
option-*)
PAGE_TYPE="Option"
PAGE_NAME="$(echo "$PAGE_NAME" | sed 's/^option-//')"
;;
unnamed-* | deleteme* | ERASEME*)
shift
continue
;;
*)
PAGE_TYPE="Guide"
esac
if [ -n "$PAGE_NAME" ]; then
insert "$DB_PATH" "$PAGE_NAME" "$PAGE_TYPE" "$(basename "$1")"
fi
shift
done
}
create_table "$DB_PATH"
insert_pages "$@"
|
