|
Last change
on this file since 8 was 3, checked in by fox, 3 years ago |
|
Format
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
|
|
File size:
459 bytes
|
| Line | |
|---|
| 1 | let predicate fn opt = Option.(to_list @@ map fn opt)
|
|---|
| 2 |
|
|---|
| 3 | let authored query_string =
|
|---|
| 4 | let q = Person.Set.of_query @@ String_set.query query_string in
|
|---|
| 5 | fun n -> Person.Set.predicate q n.Text.authors
|
|---|
| 6 |
|
|---|
| 7 | let keyworded query_string =
|
|---|
| 8 | let q = String_set.query query_string in
|
|---|
| 9 | fun n -> String_set.(predicate q (Text.set "Keywords" n))
|
|---|
| 10 |
|
|---|
| 11 | let topics query_string =
|
|---|
| 12 | let q = String_set.query query_string in
|
|---|
| 13 | fun n -> String_set.(predicate q (Text.set "Topics" n))
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
