|
Last change
on this file since 3 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:
331 bytes
|
| Line | |
|---|
| 1 | all:
|
|---|
| 2 | dune build
|
|---|
| 3 |
|
|---|
| 4 | cli:
|
|---|
| 5 | dune build cli/txt.exe
|
|---|
| 6 |
|
|---|
| 7 | clean:
|
|---|
| 8 | dune clean
|
|---|
| 9 |
|
|---|
| 10 | tgz:
|
|---|
| 11 | dune subst
|
|---|
| 12 | dune build
|
|---|
| 13 | cp _build/default/cli/txt.exe txt
|
|---|
| 14 | strip txt
|
|---|
| 15 | tar czvf "logarion-$(shell date -r _build/default/cli/cli.exe "+%y-%m-%d")-$(shell uname -s)-$(shell uname -m)-$(shell git rev-parse --short HEAD).tar.gz" txt readme
|
|---|
| 16 | rm txt
|
|---|
| 17 |
|
|---|
| 18 | .PHONY: cli
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
