diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/Info.plist | 14 | ||||
| -rw-r--r-- | src/icon.png | bin | 1617 -> 0 bytes | |||
| -rwxr-xr-x | src/index-pages.sh | 8 | ||||
| -rwxr-xr-x | src/index-terms.sh | 8 | ||||
| -rw-r--r-- | src/lib/create_table | 7 | ||||
| -rw-r--r-- | src/lib/insert | 8 |
6 files changed, 8 insertions, 37 deletions
diff --git a/src/Info.plist b/src/Info.plist deleted file mode 100644 index b95b162..0000000 --- a/src/Info.plist +++ /dev/null @@ -1,14 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd"> -<plist version="1.0"> -<dict> - <key>CFBundleIdentifier</key> - <string>gnumake</string> - <key>CFBundleName</key> - <string>GNU Make</string> - <key>DocSetPlatformFamily</key> - <string>make</string> - <key>isDashDocset</key> - <true/> -</dict> -</plist> diff --git a/src/icon.png b/src/icon.png Binary files differdeleted file mode 100644 index 9b18522..0000000 --- a/src/icon.png +++ /dev/null diff --git a/src/index-pages.sh b/src/index-pages.sh index 99531b7..2790d0c 100755 --- a/src/index-pages.sh +++ b/src/index-pages.sh @@ -1,9 +1,9 @@ #!/usr/bin/env sh -# shellcheck source=./lib/create_table -. "$(dirname "$0")"/lib/create_table -# shellcheck source=./lib/insert -. "$(dirname "$0")"/lib/insert +# 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 diff --git a/src/index-terms.sh b/src/index-terms.sh index f74af03..c9344d4 100755 --- a/src/index-terms.sh +++ b/src/index-terms.sh @@ -1,9 +1,9 @@ #!/usr/bin/env sh -# shellcheck source=./lib/create_table -. "$(dirname "$0")"/lib/create_table -# shellcheck source=./lib/insert -. "$(dirname "$0")"/lib/insert +# shellcheck source=../../../scripts/create_table.sh +. "$(dirname "$0")"/../../../scripts/create_table.sh +# shellcheck source=../../../scripts/insert.sh +. "$(dirname "$0")"/../../../scripts/insert.sh TYPE="$1" shift diff --git a/src/lib/create_table b/src/lib/create_table deleted file mode 100644 index a783c50..0000000 --- a/src/lib/create_table +++ /dev/null @@ -1,7 +0,0 @@ -create_table() { - DB_PATH="$1" - - 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);" -} - diff --git a/src/lib/insert b/src/lib/insert deleted file mode 100644 index 31c1b4c..0000000 --- a/src/lib/insert +++ /dev/null @@ -1,8 +0,0 @@ -insert() { - DB_PATH="$1" - NAME="$2" - TYPE="$3" - PAGE_PATH="$4" - - sqlite3 "$DB_PATH" "INSERT INTO searchIndex(name, type, path) VALUES (\"$NAME\",\"$TYPE\",\"$PAGE_PATH\");" -} |
