|
Last change
on this file since 2 was 2, checked in by fox, 3 years ago |
|
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.
|
|
File size:
479 bytes
|
| Rev | Line | |
|---|
| [2] | 1 | type t = { created: Ptime.t option; edited: Ptime.t option }
|
|---|
| 2 | let compare = compare
|
|---|
| 3 | let rfc_string date = match date with Some t -> Ptime.to_rfc3339 t | None -> ""
|
|---|
| 4 | let of_string (rfc : string) = match Ptime.of_rfc3339 rfc with Ok (t,_,_) -> Some t | Error _ -> None
|
|---|
| 5 | let listing date = if Option.is_some date.edited then date.edited else date.created
|
|---|
| 6 | let pretty_date = function
|
|---|
| 7 | | Some t -> Ptime.to_date t |> fun (y, m, d) -> Printf.sprintf "%04d-%02d-%02d" y m d
|
|---|
| 8 | | None -> ""
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
