diff options
author | Louie S <louie@example.com> | 2023-03-16 21:33:47 -0700 |
---|---|---|
committer | Louie S <louie@example.com> | 2023-05-01 10:03:34 -0700 |
commit | e397123c70d2ad564753f8aad1e1ac82276234f0 (patch) | |
tree | 4ca13f13dd954f9fd20dd750ad262f9101223f54 /src/index.rb | |
parent | 71bdea9d51faabb54fb0d5e8668dcc1610aa87c1 (diff) |
Rewrite in POSIX shell; index entries from the index pages
Diffstat (limited to 'src/index.rb')
-rwxr-xr-x | src/index.rb | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/src/index.rb b/src/index.rb deleted file mode 100755 index da58535..0000000 --- a/src/index.rb +++ /dev/null @@ -1,30 +0,0 @@ -require 'pathname' - -puts %Q[ - CREATE TABLE searchIndex(id INTEGER PRIMARY KEY, name TEXT, type TEXT, path TEXT); - CREATE UNIQUE INDEX anchor ON searchIndex (name, type, path); -] - -INSERT_SQL = %Q[ - INSERT INTO searchIndex(name, type, path) VALUES ('%s','%s','%s'); -] - -PATTERN = %r[<title>(.+)</title>] - -def quote(s) - s.gsub(/&/, '&').gsub(/'/, "\\'") -end - -ARGV.each do |arg| - Pathname.glob(arg) do |path| - match = path.each_line.lazy.map { |line| PATTERN.match(line) }.find { |m| m } - if match - title = match[1] - title.delete_prefix!('GNU make: ') # older docs - title.delete_suffix!(' (GNU make)') # newer docs - printf INSERT_SQL, quote(title), 'Guide', path.basename - else - $stderr.puts "#{path}: no title found" - end - end -end |