Changeset 16 in code

Timestamp:

Oct 21, 2022, 7:07:54 PM (3 years ago)

Author:

fox

Message:

Txt pull puts peer texts in $txtdir/peers

Location:

trunk/lib

Files:

• file_store.ml (modified) (1 diff)
• peers.ml (modified) (1 diff)

trunk/lib/file_store.ml

@@ -4 +4 @@
 
 let extension = ".txt"
-let def_dir () =
-        let share = Sys.getenv "HOME" ^ "/.local/share/texts/" in
-        try Sys.getenv "txtdir" with Not_found ->
-                match Sys.is_directory share with
-                | true -> share
-                | false | exception (Sys_error _) -> "."
+let def_dir () = try Sys.getenv "txtdir" with Not_found ->
+        let share = Filename.concat (Sys.getenv "HOME") ".local/share/texts/" in
+        match Sys.is_directory share with true -> share
+        | false | exception (Sys_error _) -> "."
 
 let to_string f =

trunk/lib/peers.ml

@@ -1 @@
-let text_dir = Filename.concat (Sys.getenv "HOME") ".local/share/texts"
+let text_dir = Filename.concat (File_store.def_dir ()) "peers"
 
 let fold fn init = match Sys.readdir text_dir with