Changeset 28 in code for trunk/cli/pull.ml

Timestamp:

Nov 17, 2022, 7:56:15 PM (2 years ago)

Author:

fox

Message:

Show URL when title is missing during pull

File:

• trunk/cli/pull.ml (modified) (1 diff)

trunk/cli/pull.ml

@@ -106 +106 @@
                                 topics =( match topics_opt with Some s -> String_set.of_string s | None -> String_set.empty);
                         } in
-                        let print = printers (string_of_int @@ Logarion.Header_pack.numof_texts pk) pk.info.title dir in
+                        let name = match pk.info.title with "" -> url | title -> title in
+                        let print = printers (string_of_int @@ Logarion.Header_pack.numof_texts pk) name dir in
                         try Logarion.Header_pack.iteri (per_text url dir filter print) pk; print_newline (); true
                         with Invalid_argument msg -> Printf.eprintf "\nFailed to parse %s: %s\n%!" url msg; false