From 3c530aafe415db3515465e8b0662373065afd925 Mon Sep 17 00:00:00 2001
From: Louie Shprung <lshprung@scu.edu>
Date: Sun, 26 Mar 2023 13:58:50 -0700
Subject: Index terms

---
 src/index.sh | 70 ------------------------------------------------------------
 1 file changed, 70 deletions(-)
 delete mode 100755 src/index.sh

(limited to 'src/index.sh')

diff --git a/src/index.sh b/src/index.sh
deleted file mode 100755
index 5aca876..0000000
--- a/src/index.sh
+++ /dev/null
@@ -1,70 +0,0 @@
-#!/usr/bin/env sh
-
-DB_PATH="$1"
-shift
-
-create_table() {
-	sqlite3 "$DB_PATH" "CREATE TABLE IF NOT EXISTS searchIndex(id INTEGER PRIMARY KEY, name TEXT, type TEXT, path TEXT);"
-	sqlite3 "$DB_PATH" "CREATE UNIQUE INDEX IF NOT EXISTS anchor ON searchIndex (name, type, path);"
-}
-
-
-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() {
-	NAME="$1"
-	TYPE="$2"
-	PAGE_PATH="$3"
-
-	sqlite3 "$DB_PATH" "INSERT INTO searchIndex(name, type, path) VALUES (\"$NAME\",\"$TYPE\",\"$PAGE_PATH\");"
-}
-
-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 "$PAGE_NAME" "$PAGE_TYPE" "$(basename "$1")"
-		fi
-		shift
-	done
-}
-
-create_table
-insert_pages "$@"
-- 
cgit