logarion/lib/archive.ml

let predicate fn opt = Option.(to_list @@ map fn opt)

let authored query_string =
  let q = Person.Set.of_query @@ String_set.query query_string in
  fun n -> Person.Set.predicate q n.Text.authors

let ided query_string =
	fun n -> n.Text.id = query_string

let keyworded query_string =
  let q = String_set.query query_string in
  fun n -> String_set.(predicate q (Text.set "Keywords" n))

let topics query_string =
  let q = String_set.query query_string in
  fun n -> String_set.(predicate q (Text.set "Topics" n))
- Removed 'txt init' Format - New B32 ID Index - New option: txt index --print - Move scheme to peers - Replace peer..conf files with index packed locations Instead of adding a URL to peers..conf, run `txt pull <url>` Conversion - Rewritten converters - txt-convert looks for a .convert.conf containing `key: value` lines. - Specifiable topic-roots from .convert.conf. - Added `Topics:` key, with comma seperated topics. If set only those topics will appear in the main index and used as topic roots. Other topics will have sub-indices generated, but won't be listed in the main index. - HTML converter header & footer options - HTML-index renamed to HTM-index Internal - Change types: uuid:Uuid -> id:string - File_store merges identical texts - Use peer ID for store path, store peers' texts in .local/share/texts - Simple URN resolution for converter Continue to next feed if parsing one fails - Phasing-out Archive, replaced by improved packs - Eliminate Bos, Cohttp, lwt, uri, tls, Re, Ptime, dependencies - Lock version for Cmdliner, fix dune-project - Optional resursive store - Improve header_pack - Fix recursive mkdir 2022-04-01 17:35:56 +02:00			`let predicate fn opt = Option.(to_list @@ map fn opt)`
Samhain 21 Converter - type selection - subdir conversion - htm extension Gemini - index.gmi - topics and latest - gmi.atom feed Add pull (http(s)) operation - peers.pub.conf and peers.priv.conf HTML5 format & fixes by Novaburst Phony target (thanks Gergely) May Basic unit renamed from Note to Text. New modular text-parser, internal to Logarion, for generic notation parsing. The default input format is now a much plainer text. Logarion created texts have part of the UUID in filename. Logarion's index re-written in Messagepack format. Removed `indices` command. They are generated during `convert`. 2021-03-13 19:40:07 +01:00
- Removed 'txt init' Format - New B32 ID Index - New option: txt index --print - Move scheme to peers - Replace peer..conf files with index packed locations Instead of adding a URL to peers..conf, run `txt pull <url>` Conversion - Rewritten converters - txt-convert looks for a .convert.conf containing `key: value` lines. - Specifiable topic-roots from .convert.conf. - Added `Topics:` key, with comma seperated topics. If set only those topics will appear in the main index and used as topic roots. Other topics will have sub-indices generated, but won't be listed in the main index. - HTML converter header & footer options - HTML-index renamed to HTM-index Internal - Change types: uuid:Uuid -> id:string - File_store merges identical texts - Use peer ID for store path, store peers' texts in .local/share/texts - Simple URN resolution for converter Continue to next feed if parsing one fails - Phasing-out Archive, replaced by improved packs - Eliminate Bos, Cohttp, lwt, uri, tls, Re, Ptime, dependencies - Lock version for Cmdliner, fix dune-project - Optional resursive store - Improve header_pack - Fix recursive mkdir 2022-04-01 17:35:56 +02:00			`let authored query_string =`
			`let q = Person.Set.of_query @@ String_set.query query_string in`
			`fun n -> Person.Set.predicate q n.Text.authors`
Samhain 21 Converter - type selection - subdir conversion - htm extension Gemini - index.gmi - topics and latest - gmi.atom feed Add pull (http(s)) operation - peers.pub.conf and peers.priv.conf HTML5 format & fixes by Novaburst Phony target (thanks Gergely) May Basic unit renamed from Note to Text. New modular text-parser, internal to Logarion, for generic notation parsing. The default input format is now a much plainer text. Logarion created texts have part of the UUID in filename. Logarion's index re-written in Messagepack format. Removed `indices` command. They are generated during `convert`. 2021-03-13 19:40:07 +01:00
Txt read & optional path printing for txt list 2022-06-19 23:01:11 +02:00			`let ided query_string =`
			`fun n -> n.Text.id = query_string`

- Removed 'txt init' Format - New B32 ID Index - New option: txt index --print - Move scheme to peers - Replace peer..conf files with index packed locations Instead of adding a URL to peers..conf, run `txt pull <url>` Conversion - Rewritten converters - txt-convert looks for a .convert.conf containing `key: value` lines. - Specifiable topic-roots from .convert.conf. - Added `Topics:` key, with comma seperated topics. If set only those topics will appear in the main index and used as topic roots. Other topics will have sub-indices generated, but won't be listed in the main index. - HTML converter header & footer options - HTML-index renamed to HTM-index Internal - Change types: uuid:Uuid -> id:string - File_store merges identical texts - Use peer ID for store path, store peers' texts in .local/share/texts - Simple URN resolution for converter Continue to next feed if parsing one fails - Phasing-out Archive, replaced by improved packs - Eliminate Bos, Cohttp, lwt, uri, tls, Re, Ptime, dependencies - Lock version for Cmdliner, fix dune-project - Optional resursive store - Improve header_pack - Fix recursive mkdir 2022-04-01 17:35:56 +02:00			`let keyworded query_string =`
			`let q = String_set.query query_string in`
			`fun n -> String_set.(predicate q (Text.set "Keywords" n))`
Samhain 21 Converter - type selection - subdir conversion - htm extension Gemini - index.gmi - topics and latest - gmi.atom feed Add pull (http(s)) operation - peers.pub.conf and peers.priv.conf HTML5 format & fixes by Novaburst Phony target (thanks Gergely) May Basic unit renamed from Note to Text. New modular text-parser, internal to Logarion, for generic notation parsing. The default input format is now a much plainer text. Logarion created texts have part of the UUID in filename. Logarion's index re-written in Messagepack format. Removed `indices` command. They are generated during `convert`. 2021-03-13 19:40:07 +01:00
- Removed 'txt init' Format - New B32 ID Index - New option: txt index --print - Move scheme to peers - Replace peer..conf files with index packed locations Instead of adding a URL to peers..conf, run `txt pull <url>` Conversion - Rewritten converters - txt-convert looks for a .convert.conf containing `key: value` lines. - Specifiable topic-roots from .convert.conf. - Added `Topics:` key, with comma seperated topics. If set only those topics will appear in the main index and used as topic roots. Other topics will have sub-indices generated, but won't be listed in the main index. - HTML converter header & footer options - HTML-index renamed to HTM-index Internal - Change types: uuid:Uuid -> id:string - File_store merges identical texts - Use peer ID for store path, store peers' texts in .local/share/texts - Simple URN resolution for converter Continue to next feed if parsing one fails - Phasing-out Archive, replaced by improved packs - Eliminate Bos, Cohttp, lwt, uri, tls, Re, Ptime, dependencies - Lock version for Cmdliner, fix dune-project - Optional resursive store - Improve header_pack - Fix recursive mkdir 2022-04-01 17:35:56 +02:00			`let topics query_string =`
			`let q = String_set.query query_string in`
			`fun n -> String_set.(predicate q (Text.set "Topics" n))`