diff options
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 |